Added statistics server and run_server.py for convenience