Gets the name of the input device.
This is not the device node name (i.e. input0, event1, etc.). Those values are returned by device_name and event_device_name.
This name depends on the driver and is used by DeviceManager.get_input_device to find the matching input device.