Tools to check the status of DNS change propagation