A Websocket interface for the Twitter streaming API