Add matching of User-Agent header, for well-behaved bots with
ever-expanding address pools.

While we're at it, stop punting DNS names found in the IP address
files.  Note that this is *not* DNS *pattern* matching; it only resolves
individual host names to IP addresses at load time.