Allow user-specification of port to run web server on.