default coqtop path=coqtop
locate queries jump to defn.
need to add a keyboard shortcut