- support bullets and braces in Prooftree
- prooftree protocol change to version 3
removal of backup files (*~) moved to make distclean