Actually clean up in repro-all-docker's cleanup function

repro/repro-all-dockers

@@ -10,7 +10,7 @@ fi
 outputfile=$$.repro.log
 
 cleanup() {
-#    rm -f $outputfile
+    rm -f $outputfile
     exit
 }