GitLab CI based on dune modules

Summary

Replace the current base docker images in the CI configuration with pdelab-deps or another image that contains most of the dune modules already. Maybe configure a dependency image in the dune docker/ci for amdis.

Details

The current .gitlab-ci.yml configuration installes all the modules again. This is very time consuming for the runners and slows down the tests.