Fix a couple more INTegerized names
Make multiplayer lobby automatically refresh for new games every 5s
Cache XML read from the harddrive

Should slightly improve tabwidget performance, but the real bottleneck
(at least on my machine) is the file parsing done by pychan.