Adding Coverity scan to Travis script