Major redesign: Using game ids and player ids in gui (associated with tree view items).

Player list of all network games is now dynamically updated in lobby (no polling, server sends events).

src/net/serverlobbythread.h

@@ -52,6 +52,8 @@ public:
 
 	void AddConnection(boost::shared_ptr<ConnectData> data);
 	void CloseSessionDelayed(SessionWrapper session);
+	void NotifyPlayerJoinedGame(unsigned gameId, unsigned playerId);
+	void NotifyPlayerLeftGame(unsigned gameId, unsigned playerId);
 
 	void RemoveGame(unsigned id);