Vim: fix comments highlighting for coq