Added port option to redirect

I've added simply the option 'port', just in case we would like to redirect towards https enpoint listening on any port different from 443. Hope it could be useful.