Member of the streaming team here. We're using a modified version of nginx-rtmp for HLS and RTMP and Icecast for WebM. There's some information about last year's setup in the 30c3 Infrastructure Review talk:
http://media.ccc.de/browse/congress/2013/30C3_-_5609_-_en_-_...