Change in jenkins[master]: Yamlize the coverity_analysis job