Changes

Summary

1. merged
2. suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker); clarified NEWS;
3. update to sumatra_pdf-3.5.2;
4. tuned signature: fewer warnings in IntelliJ IDEA;
5. update to jsoup-1.17.2;
6. proper bib entries (amending 82aaa0d8fc3b);
7. update to dotnet-8.0.203;
8. enforce rebuild of Isabelle/ML;
9. update to sqlite-3.45.2.0: clarified component name, following postgresql;
10. activate postgresql-42.7.3;
11. update to postgresql-42.7.3; clarified component directory;
12. update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
13. isabelle update -u cite;
14. raise error if benchmarking fails;
15. option for benchmark session;
16. add hosts option to run benchmark on the cluster from the command-line;
17. only start jobs early if they are due (cf. 1966578feff8);
18. New material from a variety of sources (including AFP)