[travis] make ctest be more verbose