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