Streaming radio player using Python, gstreamer and 0mq