A script to retrigger failed Jenkins verification builds for Gerrit