Travis: Travis CI has 1.5 cores per VM, take advantage of it