Sdl mix webaudio

Implements support for the SDL Mix_* APIs to use Web Audio API as the playback backend. The existing test sdl_test_audio_mix tests this behavior.