added Proofterm.get_name variants according to krauss/schropp; tuned signature;
added Proofterm.get_name variants according to krauss/schropp;
tuned signature;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle