Update Widelands to v1.3.1#3692

Noordfrees wants to merge 1 commit intoAppImage:masterAppImage/appimage.github.io:masterfrom

Noordfrees:Widelands-1.3.1Noordfrees/appimage.github.io:Widelands-1.3.1Copy head branch name to clipboard