Changes

Summary

1. renamed lemmas
2. build manager: echo error messages to server output;
3. omit showing previous failures for user builds;
4. always handle interrupted jobs;
5. add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
6. clarified context: operations now in build process;
7. clarified: add explicit build process;
8. remove unnecessary subdir;
9. tuned;
10. tuned proof: avoid smt/z3 to make this work with arm64-linux;
11. proper afp_directory (amending 9308bc5f65d6);
12. clarified names;
13. clarified name: avoid clash with Library.Update;
14. clarified signature;
15. tuned whitespace;
16. clarified signature;
17. merged
18. more informative ZBox;
19. more operations;
20. tuned signature;
21. tuned;
22. tuned signature;
23. remove unused (see also 04214caeb9ac);
24. tuned signature;
25. add triggers to ci jobs: on commit vs timed;
26. manage components of ci builds;
27. use external CSS for build manager page;
28. more build manager page;
29. more page elements;
30. web app: add automatic resize;
31. ensure permissions when starting build task (e.g., due to misconfigured client);
32. add verbose option to build_task;
33. tuned;
34. build manager: manage directories/permissions, to minimize local administration;
35. read prefs properly;
36. allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
37. web app: proper document height;
38. merged
39. add build manager module;
40. support ci job via hg_sync (cf. 7883f221d6d3);
41. tuned;
42. use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);