excluded z3 from travis too
excluded z3 from travis too

nbruns1/metaSMT,hoangmle/metaSMT,nbruns1/metaSMT,nbruns1/metaSMT,agra-uni-bremen/metaSMT,agra-uni-bremen/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT