more Jenkins logs for build_log database;

approximate repository identify job based on isabelle-nightly-slow; more Jenkins changeset patterns found in the wild;

tuned;

tuned signature;

clarified treatment of qualified names (amending 7ef438495a02);

create full view on build_log data, but avoid bombing sqlitebrowser;

support for views;

more operations; tuned;

slightly more compact file;

incremental download of Jenkins log files, which are also added to database;

more robust detection of Jenkins log;

detect Jenkins log files as well;

detect host name;

more parallelism;

tuned;

proper log_path check; report progress;

ensure canonical order: latest first;

tuned signature;

download Jenkins logs with inlined ml_statistics;

tuned;

clarified signature;

tuned signature;

read ml_statistics from session logs: .db or .gz files;

more informative log_filename;

retrieve more than just 100 builds;

clarified modules;

tuned signature;

tuned signature;