Add ability to print nameserver timing information at end of run.