Ref #2149 rename server.py to run_server.py