Use docker image in github CI

[cuihtlauac]

Up to my understanding the current set up of GitHub CI, as found in CI.yml does not use the ocamlorg docker image (as built in Dockerfile). I see at least two issues

• Redundant builds commands
• Dockerfile changes are not tested