Add pedal dynamics to MIDI

(Supposedly; I cannot hear the difference.)