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
syntax highlighting
improved undo/redo caret position; bugfix for highlighting
PA-GUI refactoring
improved syntax highlighting tokenizer, now more token types
add line height runparm, and fix newline bug
adjustments to cursor handling
various bugfixes
bugfix
fix deadlock issue
Merge branch 'syntax' into develop

Conflicts:
	src/mmj/pa/ProofAsstGUI.java