Actualiza CI/CD, se adapta a nuevo servidor web

Usa plantillas para gitlab-ci, actualiza definición de despliegue.
Apunta al nuevo servicio de nginx-proxy (separado en http y https, solo
nos interesa aquí el segundo).