Fixed to work with Hoqtop

It was all in the multiple messages sent at once.
Now that I've fixed that, it's working.  This still needs cleaning
all the debug crap up, but it's pretty awesome.
Forgot an s
Yay, everything works now.

I've mostly rewriten the cottop stuff,
and some stuff dealing with messages
Now works for Admitted. and other unsafe values
Now with configurable Coq paths
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
Removed unneeded xml import from coquille.py
Removed old TODO
Removed HoqLaunch, put it in my vimrc instead.