Added features for OCaml.
Re-enabled LaTeX by default.
Added host files for doctor.
Added OCaml files to gitignore.