added goals_limit (from tctical.ML); added pretty_goals_aux, removed excessive variants of print_goals;
added goals_limit (from tctical.ML);
added pretty_goals_aux, removed excessive variants of print_goals;

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