Tell vim to redraw the screen while we are sending chunks to coqtop ( fixes #8 )
Thanks to @maximedenes
Coquille survives when Coq dies ( fixes #4 ).
I also call the xml parser less often, which should make coquille a bit more fluid.
Use color name instead of number for gvim (fixes #7)
Merge branch 'master' into pathogen-bundle