Undo and next statement highlight correctly
Updated without boundaries
Fixed boundaries to capture properly
Updated command names
Now highlights in current file
Sets coqtop running to false and closes coqtop window
Added timeout
Commands can be run from *COQTOP* file now
Changed identifier to file id number
changed timeout
sends program to coqtop and reads output
gets prompt outputs from stderr
Undoes statements when command is called
stderr piped to stdout to be use the prompt as the delimeter