MIDISystem updated to latest W3C WebMIDI API draft, fixes issue #3