widelands private

To start a new build commit change to repository or click New build button.
Merged trunk.
_widelands_dev_widelands_reduce_overlay_manager_use-2429