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