[emacs] Adds coq mode