When deleting a node, need to regen exports, named maps, and dhcpd.conf so that all trace is really gone.
When deleting a node, need to regen exports, named maps, and
dhcpd.conf so that all trace is really gone.

nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome