Move campus anycast DNS servers to the bottom of the DNS server list
for now.  These are not yet considered production DNS servers.