url: fix use of non-int port in https connections via proxy
Complements eef406165507 (issue1725).
{header}<title>Mercurial Error</title></head><body><h2>Mercurial Error</h2><p>An error occurred while processing your request:</p><p>{error|escape}</p>{footer}