First step towards real playground: add dnsmasq

Now every host gets a small local DNS service all its own, attached to
its own local loopback, that can tell it who all of the other hosts are.