Add unique device num integer to all full MIDI device keys. These increment when another identical device has already been registered to allow for multiple identical devices to be uniquely handled by the event system.

Also add:

* midi-connected-devices - for listing all connected MIDI sources
* midi-find-connected-devices - for searching for a set of specific MIDI sources
* midi-find-connected-device - for searching for the first matching MIDI source