Add a flag for setting the port number for the server