Merge commit 'v2.0'
Merge branch 'release-2.2'
bugfix
bugfix
Autodetect left edge of compressed proof from $p statement column
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