Bundled Vincent Aravantinos syntax and indent scripts for pathogen.

These and Coquille should be a good initial environment to start using Coq.