travis: remove coverity specific settings.