Add js_of_ocaml build and deployment

[JasonGross]

This should allow us to demo fiat crypto synthesis in the browser on very small primes. (Non-toy examples run out of recursion depth, to be fixed.)

Fixes #1720