Fix docker image
Use existing docker image for zip
Gitlab was migrated to a new server. Everything should be back to normal and no visible change should remain. If you see anything wrong, please report them to https://forum.duniter.org/t/interventions-et-indisponibilite-des-forums-et-de-gitlab/7131/271
Use existing docker image for zip