added top button and functionality(undo all compile). planning to try using this plugin for coq development from now on.
syntax highlighting seems to be the only con vs CoqIDE