Changes

Summary

1. tuned proof: avoid smt/z3 to make this work with arm64-linux;
2. proper afp_directory (amending 9308bc5f65d6);
3. clarified names;
4. clarified name: avoid clash with Library.Update;
5. clarified signature;
6. tuned whitespace;
7. clarified signature;
8. merged
9. more informative ZBox;
10. more operations;
11. tuned signature;
12. tuned;
13. tuned signature;
14. remove unused (see also 04214caeb9ac);
15. tuned signature;
16. add triggers to ci jobs: on commit vs timed;
17. manage components of ci builds;
18. use external CSS for build manager page;
19. more build manager page;
20. more page elements;
21. web app: add automatic resize;
22. ensure permissions when starting build task (e.g., due to misconfigured client);
23. add verbose option to build_task;