Switch to Ogg Vorbis for BGM

MIDI support can be flaky depending on the platform and is quite an old format anyway, better to use something more modern