Copy midi_dump.c from JACK2

As rightly suggested by rgareus (x42@github), JACK2's version of
midi_dump.c is better in every possible aspect and should hence be
copied.