permissive outer syntax wrt. symbol recoding;

simplified Document.Node.Header -- internalized errors;

tuned signature;

tuned signature -- slightly more abstract text representation of prover process;

tuned signature -- make Pretty less dependent on Symbol;

extended Mirabelle to support user-provided setup files which contain the configuration for a Mirabelle run (avoids some layers of scripts and reduces the complexity of the overall Mirabelle setup)

increase defensive timeout that should typically not kick in thanks to solid time limits in Sledgehammer (otherwise, Mirabelle-based evaluations might be distorted)

documentation

added iProver(-Eq) local

optimized saving