Get http server port from command line option