added keyboard shortcut.
need to implement back functionality for jump to defn
minor changes to locate facility
subgoal list always scrolled down... makes it easier to observe if some steps add a new goal
... might be good to addn a option to get more obtrusive warning when an additional subgoals get added
Merge branch 'master' of github.com:aa755/nbcoq.git