#1509 Push the Docker images generated by CD directly into the project registry
I have automatized both the generation of ThirdPartyCompilationFactory and this project Dockerfiles, but for the latter I had to create an ad hoc project: it's not possible to provide two different Yaml scripts and I didn't want to have to run everything when just Docker images are needed.
So a dedicated project is now used to create Docker images with MoReFEM embedded; however it is not yet possible to push to the registry of another project.
So I am waiting for that to happen, and we will push to MoReFEM registry once the functionality is provided in Gitlab and Inria instance is up to date with the version that provides it.