Update Dockerfile and CI related scripts.
Update the CI scripts to:
- add libgmp-dev to the Docker images
- warn that the internal ssh keys are absent when generating the Docker images on the CI host
- user OCaml 4.14.2 for the 4.14 branch
Update the CI scripts to: