modif: Travis-ci config [skip ci]