Add coq.vim
Add vala.vim for vala development