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