ZMQ: added libzmq3-dev for travis