enable coverity for manual travis build triggering