All servers down for a small patch.

- change to targeting to spread attacks more evenly on overcommitted targets
- change to resource generation to allow +2K planets to spawn (future games only. retro patch still to come for existing game)
- major reduction in population growth. Colonists will no longer spawn like bunnies
- fixes to the proxy servers to correct memory leaks
- orbitals now count towards your total ship count
- shipyards no longer count as part of your ship count