A fast HTTP/WebSocket to zeromq gateway