Some work on our Travis CI script.

Allow a build with n parallel jobs, with n the number processors on the
Travis CI server.