added Coverity scan to Travis build