chore(.travis.yml): disable automatic builds in favor of manual deployment
chore(.travis.yml): disable automatic builds in favor of manual deployment

avigad/programming_in_lean,avigad/programming_in_lean,avigad/programming_in_lean