icons for proof step in/out goals in ProofProcess view
contribute ProofProcess views to Isabelle and Z/EVES perspectives