A streaming mp3/ogg-vorbis audio server