Changes

Summary

1. make Go test mandatory
2. remove generated files
3. remove "horrible workaround", fixed in upstream Isabelle (authored by Terru)
4. adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1
5. adapted to isabelle/4c1347e172b1
6. moved web_app to distribution (see Isabelle/37ea0727291f);
7. tuned;
8. clarified web app parameters;
9. proper topic input validation;
10. clarified web_app paths: better naming, more operations;
11. tuned;
12. clarified afp_submit: moved submission logic to model;
13. clarified afp_submit: separate model, view, and (API) paths properly;
14. better rendering of submission archive and Isabelle log;
15. proper state handling in submission handler;
16. tuned;
17. tuned name;
18. add explicit synchronized server state;
19. more uniform load_entries;
20. Merged.
21. Sync with my development repo.
22. tuned: prefer for-comprehension in complicated situations;
23. tuned formatting;
24. tuned: more uniform Isabelle style;
25. tuned imports;
26. tuned;
27. clarified options;
28. Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution.
29. merged
30. tuned proofs: avoid z3 to make it work on arm64-linux;
31. tuned whitespace;
32. tuned proofs: avoid z3 to make it work on arm64-linux;
33. tuned proofs: avoid z3 to make it work on arm64-linux;
34. clarified types: richer interface for metadata;
35. add option to run formatting operations on all metadata files;
36. tuned;
37. tuned;
38. update to Isabelle/42bc8ab751c1;
39. proper Go setup, following Isabelle/da323d3d7570;