travis: change coverity settings, again
travis: removed coverity (will use manual builds instead)