Updated travis config to use coverity (#1)