widelands private

To start a new build commit change to repository or click New build button.
Added map names to scoped timer for map loading/saving.
_widelands_dev_widelands_bug_1543944_suggested_teams-515