Add https port to gen_dev and rebar overlay

Changing the https port manually for all my devs each rebuild was
getting annoying, so I added a new variable `https_port` to
dev_vars.config and changed gen_dev accordingly. For consistency, I
also added the variable to vars.config.