opens up a  navigator pane when a coq file is opened.
will work on starting coqtop and listining objects in the navigator pane