GWT binding to the Web MIDI API