Updated Travis-CI config with Coverity addon