Move Dns_resolver.get_id into Dns_resolver.DNSProtocol and pseudo-pseudorandomize