Fix build and add install target.

Add some support code for IOCaml rendering via mathjax.