unique names and bugfix

1) Server assigns unique names to players.
2) Game data is now emptied from the dom when a player leaves a game.