Added stuff for dumping DHCP server config information.