fix(build): More fixes to opam and CircleCI configs

Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>

.circleci/config.yml

@@ -41,11 +41,6 @@ common_steps: &common_steps
         name: "Install OPAM deps"
         command: opam install . --deps-only --jobs=$NJOBS --yes
         no_output_timeout: 45m
-    - run:
-        name: "Install Q*cert"
-        command: |
-          opam install --jobs=$NJOBS --yes --verbose coq-qcert.2.1.1
-        no_output_timeout: 45m
     - save_cache:
         <<: *common_cache_key
         paths:
@@ -57,7 +52,7 @@ common_steps: &common_steps
           eval $(opam env)
           make cleanall
     - run:
-        name: 'Build the Ergo compiler'
+        name: 'Build Ergo'
         command:  |
           eval $(opam env)
           make configure

DEVELOPERS.md

@@ -54,7 +54,7 @@ To rebuild the compiler from the source, you will need Coq 8.12 and OCaml >=4.09
 ```sh
 $ opam repo add coq-released https://coq.inria.fr/opam/released
 $ opam install dune menhir base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
-$ opam install coq.8.12.2 coq-qcert.2.1.0
+$ opam install coq.8.12.2 coq-qcert.2.1.1
 ```
 
 ##### Build the Ergo Compiler and REPL

coq-ergo-lang.opam

@@ -27,7 +27,7 @@ depends: [
   "ocaml" {>= "4.07.1"}
   "ocamlfind"
   "dune"
-  "coq" {= "8.11.2"}
+  "coq" {= "8.12.2"}
   "coq-jsast" {>= "2.0.0"}
   "coq-qcert" {>= "2.1.0"}
   "menhir"