Also, unbreak documentation builds with style.css, and use @dbuenzli's style, which is quite nicer than the existing one.
It compiles setup.ml to a native executable.