Added Coverity configuration to Travis CI.