Eliminato il polling da player_server a server per quanto riguarda la lista dei giochi disponibili. Ora il server manda l'elenco dei giochi ai player_server quando i giocatori si iscrivono e quando viene creato un nuovo gioco.
Merge branch 'master' of http://github.com/stefanobettinelli/anno_domini