export to midi file

[grammoboy2]

I saw it's possible to import midi files, but not export them.

As jack_transport support is not optimal supported in Radium and Ableton Link not supported, importing and exporting to midi might help sharing data and musical ideas with other tools and workflows.

Also mentioned here:

#1404

edit: I think it would be nice if you could (also) export a block to midi file (as pattern to use elsewhere).

[kmatheussen]

Hmm, maybe I should prioritize this.