XMMS input plugin to play midi files