Changes

Summary

1. tuned layout;
2. show errors from build_log database;
3. support for message underline and tooltips;
4. unused;
5. store errors in build_history logs and database;
6. tuned;
7. more selective database access;
8. store errors in build db;
9. more correct and complete output of control characters;
10. clarified modules;
11. do not expose ML interrupt in Scala;
12. tuned signature;