.travis.yml: use 4 threads