Changes

Summary

1. isabelle build -N;
2. support for Non-Uniform Memory Access of separate CPU nodes;
3. proper result;
4. merged
5. merged
6. more thorough cleanup;
7. tuned;
8. removed useless operation -- would require bash_process wrapper;
9. tuned signature;
10. simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
11. more robust;
12. sftp.mkdirs according to 2a5dbad75355;
13. more compression for big log files;
14. clarified setup_repository: more uniform pull vs. clone, without update;
15. proper setup of fresh repository;
16. clarified prover-specific rules
17. dropped potentially explosive rule for groebner simpset, with no observable effect on examples
18. simplified fact references
19. avoid effectively subsumed rules; simplified fact reference
20. eliminated irregular aliasses
21. avoid references to lemmas designed for prover tools
22. clarified theorem names
23. eliminated irregular aliasses
24. more standardized theorem names for facts involving the div and mod identity
25. transfer rules for divides relation on integer and natural
26. more standardized names
27. added lemma
28. de-orphanized declaration