Php library for streaming various audio files as mp3 by transcoding on the fly