write_midi now maps each track to its own channel, and instruments can be specified.

...en to the MIDI file, and each track gets its own MIDI channel.