added sh_minimize and preplay_timeout options to Mirabelle's Sledgehammer action;
added sh_minimize and preplay_timeout options to Mirabelle's Sledgehammer action;

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