servers.txt: add DHCP and Nagios servers