Feature - buffer audio output as a .wav for playback

[oschneid]

When pressing "play" we want to play a waveform that's preloaded rather than using Audiolet, for higher fidelity. This is related to exporting as a .wav file.

[StatsBen]

There may be a way to do this with the HTML5, WebAudio API using an OfflineAudioContext object (https://developer.mozilla.org/en-US/docs/Web/API/OfflineAudioContext), but I haven't yet found any examples of people doing so successfully.