Adding coverity to the travis build