Optimized Travis-CI definition to avoid GitHub API limit problems.