How to convert MP3s to OGG Vorbis (and more) in Ubuntu/Debian