Twitter streaming API <-> WebSocket Gateway for OpenShift