Revert "remove travis setting"

This reverts commit df0bcf566c1d34d727c492a65531f566b999da71.