Added ExportMidiFile.lhs.