In tor-resolve, when the Tor client to use is specified by <hostname>:<port>,...

In tor-resolve, when the Tor client to use is specified by <hostname>:<port>, actually use the specified port rather than defaulting to 9050

svn:r18833