Update Widelands to Build 18
Merge pull request #3090 from deepj/widelands

Update Widelands to Build 18