Added Coverity scan to Travis CI configuration