Refactor: Rename numBattles to lastBattle
'lastBattle' better reflects the filename it's stored in, and also
what it does
serverid is no longer used in the current login server scheme
Minor rearranging of the default config file
Track total number of battles
Deallocate users more aggressively
Specifically, if a user disconnects without ever choosing a name,
deallocate their object immediately