chore(.travis.yml): disable lean testing to speed up CI testing
chore(.travis.yml): disable lean testing to speed up CI testing

avigad/programming_in_lean,avigad/programming_in_lean,avigad/programming_in_lean