Support compilation to Javascript

[katrinafyi]

This is an effort to enable compilation to Javascript via js-of-ocaml, to enable the partial evaluator to be run in the browser. It is anticipated that providing ASLp in the browser will enable greater ease of collaboration and help our work reach new audiences.

Work items required:

• [x] isolate non-js libraries via dune's virtual library system (z3 and pcre)

  • 91

  • 93

• [x] provide ASL files via embedding instead of installation

  • 92

• [x] minimal interface, in the style of https://armconverter.com/
  • https://katrinafyi.github.io/aslp-web/
• [x] deployment to GitHub pages via Nix
  • https://github.com/katrinafyi/aslp-web/tree/deploy
  • [x] for reproducibility of links, we will need to keep old versions available
  • [ ] automatic updating of aslp_web within pac-nix
  • [ ] automatic (or push-button) updating of versions.csv in aslp-web

BREAKING: this moves the aarch64_evaluation_environment into the separate Arm_env module, instead of being in the Eval module.

Documentation:

• https://dune.readthedocs.io/en/stable/virtual-libraries.html
• https://github.com/ocsigen/js_of_ocaml/tree/master/examples
• http://rgrinberg.com/posts/virtual-libraries/
• https://ocsigen.org/js_of_ocaml/latest/api/js_of_ocaml/Js_of_ocaml/Sys_js/index.html