Changes

Summary

1. more informative log_filename;
2. retrieve more than just 100 builds;
3. clarified modules;
4. tuned signature;
5. tuned signature;
6. clarified database update: full ml_statistics on server, no ml_statistics on plain file;
7. parse ml_statistics only when required;
8. clarified database layout: bulky ml_statistics are stored/retrieved separately;
9. support for qualified names, which are not quoted (e.g. for SQLite); more operations;
10. clarified dummy Session_Entry;
11. clarified database update operations; more efficient log_file processing; tuned;
12. tuned message;