jenkins-run: cleanup rerun mechanism.