Release for coq-wasm.2.0.1

[raoxiaojia]

A new version for coq-wasm that compiles with Coq 8.19.

Changelog: https://github.com/WasmCert/WasmCert-Coq/releases/tag/v2.0.1

Upd: Trying to debug this atm, as our own CI succeeds (using Coq-community's CI action).

[raoxiaojia]

Update: It seems that the behaviour of mdx testing has been updated -- in particular, it no longer by default depends on the library being installed. As a result the current CI here tried to run the tests before the library was even compiled (oops).

The new commit should fix this (tested locally, at least).

[raoxiaojia]

Checking the newest build log, there seems to be some OOM issue (or something else) when building the project:

- File "theories/dune", lines 1-4, characters 0-142:
- 1 | (coq.theory
- 2 |   (name Wasm)
- 3 |   (package coq-wasm)
- 4 |   (flags -w -notation-overridden -w -abstract-large-number -w -extraction-reserved-identifier))
- (cd _build/default && /builds/J-gEBwyb/0/coq/opam/opam-root-4.14.0-2.1.2-sandbox/4.14.0/bin/coqc -w -notation-
- [...] (Omitted)
- sandbox/4.14.0/lib/coq/theories Coq -R theories Wasm theories/binary_format_tests.v)
- Command got signal KILL.

Is this a known/common issue? Just checking in case there's something I've missed, as I can't seem to replicate this locally (maybe
the CI test environment has a smaller RAM limit?).

In any case, I'll try to push a new commit with this file commented out (maybe the tests require too much resources to be computed on the CI) to investigate the issue.