Vim updates, primarily coq support