Use ArdourDropdown for MIDI device selector.
Structure MIDI device selector by manufacturer.

Unfortunately we store the state of models as simply model, so if there's ever
duplicate model names, we're somewhat screwed, but this makes the (previously
unmanageably huge) menu usable, while retaining the "model name as global
identifier" state unmodified.