added coverity configuration to travis configuration.