Tools: one toolbar button for all tools, styled tool windows

- ToolBox: instead of a text button per tool (which did not fit the 60x60
  icon row and overlapped the icons) the HUD gets one "tools" icon button
  with a popup listing every visible tool, sorted by localized name.
- ToolWindow: chrome that follows the UI style guide (title on the left,
  close on the right, drag-to-move, double-click/maximize, edge resize),
  a status bar with buffered status/hint text, dirty-state confirmation
  and keyboard shortcuts (Ctrl+S in _Input, other keys only when no
  focused control consumed them).
- ToolTheme: denser copy of the game theme for editor toolbars;
  ToolStatusKind: status bar message kinds.
- New tools icon and the tool window texts (unsaved changes, maximize,
  close, menu title) in en/ru.

locale/ui_en.properties

@@ -259,3 +259,10 @@ ui/journal/entry_of = Entry {0} of {1}
 ui/journal/finished = Completed
 ui/journal/seals = Seals
 ui/journal/no_entries = The pages of this entry are still empty. Ink will appear as the story moves on.
+
+tools/unsaved_title = Unsaved changes
+tools/unsaved_text = You have unsaved changes. Close without saving?
+tools/unsaved_discard_text = There are unsaved changes. Discard them?
+tools/window_maximize = Maximize / restore (double-click the title)
+tools/window_close = Close
+tools/menu_title = Tools