r669@llin: dpavlin | 2006-05-15 15:18:36 +0200 added nicely formatted stats and --stats flag to run.pl