Merge commit 'v2.0'
Merge branch 'release-2.2'
bugfix
bugfix
Autodetect left edge of compressed proof from $p statement column
classpath changes
Updated comments
Comments update
Refactored unification algorithm
Added progress output during ProofAsstBatchTest command
Refactoring of ProofAsst.importFromMemoryAndUnify()
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
Code refactoring: HypsOrder was extracted to its own source file
Minor changes