Modify audio file loading

* Use (smaller) ogg files rather than wav files
* Don't load audio in HTML, only in JS
* Don't load two audio files for each sound: just manage start/stop
  better.