document the new dnsNameServer variable in polipo.texi