Pilot DNS

Human-friendly naming with aliases and namespaces for agent hostnames