try adding coverity to travis