Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. merged
2. tuned;
3. clarified signature;
4. minor performance tuning: avoid redundant server access;
5. tuned;
6. clarified modules and options (from store);
7. clarified signature;
8. tuned;
9. clarified signature;
10. tuned signature;
11. tuned;
12. tuned signature;
13. tuned;
14. tuned;
15. more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
16. tuned messages;
17. tuned;
18. back to static numa_nodes (reverting part of c2c59de57df9);
19. tuned messages;