Use rsync when copying from workdir to infodir. Faster, when the workdir

gets really really big.

db/Experiment.pm.in

@@ -75,6 +75,7 @@ $TBREPORT    = "$TB/bin/tbreport";
 $TBEND       = "$TB/bin/tbend";
 $DU          = "/usr/bin/du";
 $MD5         = "/sbin/md5";
+$RSYNC       = "/usr/local/bin/rsync";
 
 # To avoid writting out all the methods.
 AUTOLOAD {
@@ -2917,7 +2918,7 @@ sub SaveLogFiles($)
     if (-e "$workdir/.rnd") {
 	mysystem("/bin/rm -f $workdir/.rnd");
     }
-    mysystem("/bin/cp -Rpf $workdir/ $infodir");
+    mysystem("$RSYNC -a $workdir/ $infodir");
     return 0;
 }