Revert back to 0fb08c6ed421eb64671b0a6c067e8a3b68abee99.

This is before any of the archive2 stuff so it should be more stable.
Use os.environ for mysql and redis connections.
Allow run_server.py to handle numbered processes.
A couple of bug fixes.
Ban keys.
Validate session cookies.