MIDI file player

I’ve added support for playing back MIDI files in the web player interface. MIDI player functionality is available for signed in users (under the MIDI file player panel) and was implemented using MidiPlayerJS by grimmdude.