PHP MIDI parsing library