Many changes.

The most remarkable ones are:

* Fixed the Settings class for multi-threading.
* Added callbacks for settings changes.
* Almost done binding the Settings dialogue.
* Added documentation for Settings and SettingsWindow, although it is still
  lacking.