update Coq in the docker image
Upgrade Coq to version 8.16.1 in the docker image
also fix url for cvc4 1.8 and set ocaml version for "bench" to 4.09, because required by Coq 8.16
GitLab upgrade completed. Current version is 17.10.3. We now benefit from the enhancements of 17.9 and 17.10 releases. Among other improvements, it is now possible to set the automatic deletion of continuous integration pipelines. You can help us reduce storage usage by setting an expiry date for your pipelines.
Upgrade Coq to version 8.16.1 in the docker image
also fix url for cvc4 1.8 and set ocaml version for "bench" to 4.09, because required by Coq 8.16