Replace WAVs with MP3s

This makes the sound work in all current versions of IE, Firefox, and
Chrome. Safari has still not been tested.