Update the image addresses in .gitlab-ci.yml from "duneci/dune:***" to...
Update the image addresses in .gitlab-ci.yml from "duneci/dune:" to "registry.dune-project.org/docker/ci/dune:", so the dokcer-images are fetched from the official dune-ci
Update the image addresses in .gitlab-ci.yml from "duneci/dune:" to "registry.dune-project.org/docker/ci/dune:", so the dokcer-images are fetched from the official dune-ci