which internet audio streaming server can I use?
I believe that FFserver can do what you're looking for. It's a part of the open source cross-platform FFmpeg suite, available at http://www.ffmpeg.org/
Try VLC: http://www.videolan.org/vlc/
The most important advantages are: CLI interface + GUI, nearly all OS, remote control over web interface
A combination of Digital Rapids various products would do what you want but not for free, not sure of any open source equivalents.