Update viewdns.py with DNS propagation function