Added OCaml and Coq major modes to Emacs