cross platform Web MIDI API plugin for firefox