An HTTP gateway for zeromq services