Accepting port number from commandline for server.py