Python library for MIDI input/output