Build the documentation without installing (by Hendrik Tews)
Install ml files when there's no mli (by Hendrik Tews)
Documentation fix (by Hendrik Tews)