Added a DeviceManager REST API. You can use this to see what devices the controller has learned along with their IPs and attachment points.