Add coverity scan to Travis config