Switch audio format to MP3

Firefox 21+ and Safari 7+ now support the mp3 file format in HTML5. We
can now allow audio notifications in Safari, as well as convert to mp3
to save space.