sultana

fixed IsaMakefile action for HOL-TPTP.

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

added Mirabelle action info in its log file; tuned;

added max_new_mono_instances, max_mono_iters, to Mirabelle-Sledgehammer; changed sh_minimize to avoid setting Mirabelle-level defaults;

added tptp parser;

added ml-yacc library sources;

split make_tptp_parser into two scripts, for parser and lib respectively;

made Mirabelle-SH's 'trivial' check optional;