A polyfill for the Web MIDI API on iOS