Changed when player IDs are assigned to players (now they're only added when
they actually start playing). Changed how maps are generated, and how tiles
are included (but not much, just some fine tuning).

(updated PlayerState.PLAYING's "name" entry)