New Tool (3.0): Midi Convert

There is a bug with consequent notes of the same pitch creating randomly notes of zero length, I described it here:

https://forum.renoise.com/t/export-to-midi-file/38248