Change in jenkins[master]: Fix coverity tool download url