Add coverity config to Travis CI config