Travis-CI: run CTest.