Moved coq commands to ftplugin/coq.vim