Changes

Summary

1. a slightly simpler proof
2. provide component naproche-2d99afe5c349;
3. merged
4. Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
5. more documentation about Type/Const antiquotations;
6. more documentation about document build options;
7. address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of 41d009462d3c);
8. tuned --- fewer IDE warnings;
9. more robust physical timeout (despite 1bea05713dde), especially relevant for quickcheck where large unary numerals may cause excessive heap allocations and resulting GC is better included in the timing;