Fixes and tweaks related to HTTP ports.

* Omit the standard HTTP port 80 from PROXY_PREFIX if the proxy is being accessed via that port.
* Properly handle nonstandard HTTP ports inside proxied pages.