Travis-CI: do not install ninja-build

Ubuntu 12.04 does not have ninja-build in its repo