Vim: coq syntax and indent