https_server: Add a -port flag.