Add Coverity to Travis build