SpringLobby

This would be only a temporary hack, till the lobby server supports more than 16 team ids.

Idea: Server restricts to 16 team ids. But spring engine does not really care about the lobby server. So the host could instead, when creating the script.txt use unique team ids for each player.

Implementation: Only hosts needs the change. Lobby behavior remains the same. Balance will balance with 16 team ids (restricted due to lobby protocol, right?) and n ally ids. But when the host writes the script.txt it does not use the 16 team ids like in the battle window, it uses a unique one for each player. Ally id is not changed. Non-host players do not need the change, so no update needed for them and other lobbies should work, too.

GUI: No gui element and only an option in the config file.

Only 1 option and small changes when creating script.txt. This should be easy to implement (and remove when the server supports more team ids).

Pros:
- we could have real 16v16 (and more) games now!
- easy to implement and remove
Cons (mostly minor):
- no cooperation mode at the same time when using this
- color issues (due to same team id in lobby)