Added command line options to server.py