Sound support on Firefox using ogg format P.O.C.

I used an online utility to convert the mp3 format to ogg.
The ogg file gets copied to the server /sound folder in application.js
The ogg file is preloaded, along with the mp3 file, in pepi.coffee.

There is no need to detect the browser and supply the correct sound file.