Increase number of cores

Attempt to get faster build to work around Travis-CI timeout of 50 minutes.