https: fix default port

`https.get('https://github.com/')` should use port 443, not 80.