Instalacion mantis con docker [actualizado 2024]