Include the port number in the host header.

Hello.  This fixes an issue where the port number is not included in the `HOST` header being sent to the remote server.  Servers on nonstandard ports sometimes use the `HOST` header when returning redirects (django does this for example), and following such a redirect would lead the client to the wrong destination.