Changes

Summary

1. merged
2. tuned signature;
3. misc tuning and clarification;
4. some support for header and data fields, notably from afp-test;
5. tuned signature;
6. more flexibile formatting; expose representation for free-form formatters;
7. proper calculation;
8. more operations; tuned;
9. more date and time operations from Java 8;
10. proper imports;
11. clarified modules;
12. more operations;
13. added multicore_base option;
14. allow multiple threads configurations;
15. tuned;
16. misc tuning and clarification;
17. clean output dir for fresh rebuild; clarified echo;
18. allow multiline script;
19. clarified sanity checks;
20. clarified modules;
21. historic workaround according to 22630327408b;
22. more thorought update of components;
23. check session name;
24. tuned signature;
25. tuned error;
26. earlier build_history_base: timing properties in log are introduced here;
27. incremental output; tuned;
28. clarified output;
29. clarified heap options;
30. proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
31. more ambitious default as in former isatest;
32. tuned signature;
33. tuned;
34. more sanity checks;
35. more options for generated settings;
36. more robust build_history_base;
37. more robust;
38. proper log output;
39. clarified command line; clarified result;
40. clarified command-line; init settings and components;
41. more operations;
42. more formal build_history_base;
43. clarified cold-start environment;
44. basic setup for Admin/build_history -- outside of Isabelle environment;
45. clarified: a variant of -i is the default, but its output is not as precise as it might seem;