Coverity travis integration experiment