Exports selected tabs/directory as MIDI files. Serves as an alternative to #68, which can then be used in an external player.