Travis: test with COVERITY_VERBOSE=1