[CI] Use Pre-Build Docker Images

The current base docker image is just debian with the correct toolchain installed. The needed dune dependencies are build for each ci job as part of the ci script, increasing the runtime of the tests. Currently this adds at least 10min to the already agonizingly long runtime.

Once the base images in docker/ci> are build correctly again, we should change our ci accordingly.