JS worker does not compile

[claudemarche]

First of all, let me emphasize that the page Try Alt-Ergo referenced under button new try-alt-ergo does not work anymore.

Second, we need to compile a JS Alt-Ergo worker for TryWhy3, and we did not succeed to compile it anymore, neither for version 2.5.2 (we succeeded before) nor 2.6.2. The dependency on versions of js_of_ocaml must be made more strict.

It would be nice if you could resurrect your try-alt-ergo page, and if, possible, allow us to download the JS worker from there when we need it.

Thanks in advance!