Pequeño script para convertir ficheros ogg en mp3.
Subiendo versión mp3 de los audios de las jornadas.