Bug fixes

* Handling of numeric domains.
* Off-by-one error in IP address rotation.
* Killing prune thread on exit from withDNSCache.