Add ability to match 'Error:\n...', and escape error string
Update TODO, start working on coqtop -emacs -time
Don't remove universe polymorphism settings