.travis.yml: don't be too verbose on ctest