Various tools for generating and manipulating MIDI