CI/Travis: Use a different ZeroMQ package for travis only