Deathmatch goal ends game when all but one player (or team) leave (#893).
Merge branch 'master' of ssh://git.openclonk.org/openclonk