let the choice of audio type

In case of the user can play ogg and mp3 but is using a smartphone it can be useful to use mp3 instead of ogg to minimize network traffic.