Travis-CI: build using one core only.

Until now, we were using half of the cores available on a Travis-CI
build machine, but this resulted in regular g++ crashes on 64-bit
Ubuntu. So, now, it’s going to take longer to build, but at least it
should be fine…