Pin Docker image instead of opam-repo

[cuihtlauac]

To stall dependencies, the build uses a pinned opam-repo. The same result can be achieved by pinning the docker image. This has two main advantages

• More stable build, system does not change
• Caching the opam switch build, which is what takes most of the time