Add coverity config to .travis.yml