Minor patch to all servers

- all win conditions are correctly detected
- planetkills/blackholes/ore totals are loaded/stored correctly
- proxy server memory leaks reduced (again, but looks like for sure this time)