add API to get current MIDI option from an audio/MIDI backend