copied from vim-scripts
modified:   indent/coq.vim
modified:   syntax/coq.vim
modified:   README.md (reflect changes)