A library to facilitate MIDI development for the Teensy board