結論。MIDI、使えます。Miyako with Ruby/SDLスターターキット のサンプルのBGMをMIDIファイルに書き換えて実行したところ、 ちゃんとMIDIの音楽が鳴りました。というわけで、サポートサウンドファイルにMIDIを追加しておきます。