Add command line options to run an HTTPS server