Changes

Summary

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