Apparently travis already has ØMQ installed, so let us get rid of that.