coq_completion.vim init