Simplified TP and POG context menus, and removed Z3 check box due to change in current Isabelle/Eclipse