added "max_calls" option to get a fixed number of Sledgehammer calls per theory
added "max_calls" option to get a fixed number of Sledgehammer calls per theory

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