Have Travis CI download an archive instead

Should be much quicker than downloading the entire repository.
Also lowered the number of simultaneous make jobs to 3, since
Travis builds have up to two cores available (1.5*2).