Changes

Summary

1. clarified formatting, for the sake of scala3;
2. merged
3. tuned formatting;
4. clarified formatting, for the sake of scala3;
5. tuned
6. tuned
7. merge
8. tuned slices to get the fifth Zipperposition slice in a typical run
9. merged
10. tuned sledgehammer documentation
11. tuned spelling;
12. merged
13. updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
14. clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
15. tuned: eliminted do-while for the sake of scala3;
16. prefer scala 3.0.x, for option "-source 3.0-migration";
17. tuned: avoid problems with scala3;
18. tuned: avoid problems with scala3;
19. provide SCALA_INTERFACES for isabelle_setup;
20. build Isabelle Scala component from official downloads (for scala-3.1.1);
21. added documentation
22. merged
23. tuned sledehammer to return best succeeding preplay method
24. expanded sledgehammer's expect option with some_preplayed
25. added preplay results to sledgehammer_output
26. tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3