fix overriding distclean target
- support Grab Existential Variables for Prooftree
- protocol change, but stay at version 3
document latest changes
Fixed a bug with window height optimization.
When using unicode symbols, window-height (which is deprecated anyway)
is incorrect, using window-text-height instead seems better.