Changes

Summary

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