[CI] [MacOS] Enable JSOO again

[JasonGross]

As per 4986ba9#r161506462, jsoo.6.1.0 includes significant memory usage improvements, and will hopefully work even work even with M1 GH Action runners which have only 7GB RAM.

cc @hhugo

[JasonGross]

@hhugo do you know what's going on with the wasm_of_ocaml failure? Does wasm_of_ocaml --source-map --no-inline src/ExtractionJsOfOCaml/WithBedrock/fiat_crypto.byte no longer produce src/ExtractionJsOfOCaml/fiat_crypto.wat (and instead produce files in src/ExtractionJsOfOCaml/fiat_crypto.assets or something?)

[hhugo]

• we not longer emit textual wat files unless --debug wat is provided. Emitting it is slow and binaryen tools are slow reading it.
• the latest jsoo release 6.1 requires OCaml 4.13 at least. You should bump ocaml-compiler version for the jsoo job.
• you should experiment removing --no-inline

[hhugo]

How does that look ?

 0m23.01s | 1814688 ko | ExtractionJsOfOCaml/bedrock2_fiat_crypto.js

coq-docker.yml still uses 4.11.1