New TODO noted
Re-write of coqtop interaction codq

It's been fixed since I needed to work with Hoqtop.
Now it has with configurable Coq paths, controlled by variables.
I added a command, :HoqLaunch to tbelaire/dotfiles,
which launches hoqtop from HoTT instead of coqtop.

Added back stub coq_kill functionality.

Study the coqide ML code to learn a bit more about a safe way to keep zombies
about, and make sure that they die properly. What I have now sucks

Fixed xml_parsers to be faster

The new ones use select, and make far fewer system calls.
Downside: select is not avalible on windows.
Merge commit 'a547cd9' into pathogen-bundle