Better MIDI loading style + move WebMIDIAPI.js to /public/