travis: change coverity settings, again