removed WebMIDIAPI.js from demos as it's been getting in the way with older browsers (and is anyone else using this?)