emacs: Add coq-mode