Changes

Summary

1. merged
2. removed somewhat pointless support for Jenkins log files: it has stopped working long ago;
3. more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";
4. tuned signature;
5. more operations;
6. obsolete (see also d547173212d2);
7. clarified names to emphasize suble differences in meaning;
8. prefer high-level Other_Isabelle.bash over low-level SSH.execute;
9. unused (see 378bb7a739c3);
10. more options to manage resolved components;
11. proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
12. tuned comments;
13. tuned;
14. clarified signature: more explicit types; scale chart output, instead of stored data;
15. more operations;
16. tuned;
17. clarified signature: more robust field_scale;
18. clarified signature: more explicit types;
19. clarified signature;
20. tuned;
21. support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
22. more explicit types;
23. prefer typed/strict operations;
24. tuned message;
25. prefer strict operation: java.io.File.length returns 0 for non-existent file;
26. prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
27. back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;