Add Coquille package to vim; remove redundant coq.vim