Changes

Summary

1. tuned message;
2. more robust test: virtualization may provide misleading information;
3. implicit use of NUMA policy, absorbing potential errors;
4. tuned signature;
5. tuned;
6. more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
7. merged
8. ensure foundational order of commits, taking Pure as implicit starting point;
9. more accurate output;
10. clarified defaults; more uniform treatment of "disabled" case;
11. more accurate output;
12. support for watchdog_timeout;
13. tuned signature;
14. tuned signature;
15. removed junk;
16. tuned output;
17. more appropriate conversion of HOL character literals to character codes: symbolic newline is interpreted as 0x10
18. more explicit notion of ord value for HOL characters
19. left-over rename from 3f9bb52082c4