fixing some bugs about opening multiple documents at once. highlight is highlighting in wrong file
fixed the highlighter issue. every coq data object now has it's own highligt offsetbag
fixed an issue which caused highlights to falsely extend when typing at highlight boundary
added a facility to peek at other subgoals.