A nodejs-based MIDI file player for live performance