Changes

Summary

1. more Jenkins logs for build_log database;
2. approximate repository identify job based on isabelle-nightly-slow; more Jenkins changeset patterns found in the wild;
3. tuned;
4. tuned signature;
5. clarified treatment of qualified names (amending 7ef438495a02);
6. create full view on build_log data, but avoid bombing sqlitebrowser;
7. support for views;
8. more operations; tuned;
9. slightly more compact file;
10. incremental download of Jenkins log files, which are also added to database;
11. more robust detection of Jenkins log;
12. detect Jenkins log files as well;
13. detect host name;
14. more parallelism;
15. tuned;
16. proper log_path check; report progress;
17. ensure canonical order: latest first;
18. tuned signature;
19. download Jenkins logs with inlined ml_statistics;
20. tuned;
21. clarified signature;
22. tuned signature;
23. read ml_statistics from session logs: .db or .gz files;