Enable Coverity+Travis