Simple DNS server that uses a Tor SOCKS5 proxy to resolve names.