A vagrant plugin and server that manages dns for multiple machines