Simple MIDI converter based on my midi_processing library.