Correct bookkeeping of connected devices

[smoy]

Prior to the change, ConnectedDevices will not be updated upon device disconnection. We change from a list to a dictionary in which the device ID is map to the I

Upon disconnected event, we use the device ID to remove the underlying data structure.