Making commands (and maps) local to the buffer
Add :Coq execute query commands
Merge branch 'master' into pathogen-bundle