coq.vim moved to another repository
Merge branch 'master' of github.com:IjvLHsoZ6L/dotfiles

Conflicts:
	vim/ftplugin/tex/main.vim