move all docker images to GitLab's container registry
Clément tells me that
registry.lrde.epita.fr is something he would love to get rid of, and that it would be nice if we could migrate everything to GitLab's container registry.
As an added benefit, that will make our images publicly accessible.
We can do that for the build environments, for the web servers, and for the sandbox.