Stop-watch class added
ProofAsstBatchTest command will output the theorm list with longest unifications for big test suites
Converted 'randomized' parameter of ProofAsstBatchTest and ProofAsstExportToFile commands to more general 'order' parameter