added movable pointer for active node- can be used to run postpone command like a "goto"
added tooltips for nodes
added functions for copying command hierarchies between proof nodes