travis: when running coverity, skip regular build