added comments to list error messages
Merge branch 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic into wffchecker-buttonpanel

Conflicts:
	src/edu/lclark/logic/WffCheckerErrorStrategy.java
Merge branch 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic into wffchecker-buttonpanel

* 'wffchecker-buttonpanel' of ssh://github.com/PeterDrake/Logic:
  added comments to list error messages
  Added other characters per Eddie's request
  More minor fixes
  added highlighting of errors
  More minor updates
  Renamed grammar file, fixed TestButton exception possibility
  Error handling works! Using exceptions, proper error messages, etc
Added current Wff.g4
Merge branch 'wffchecker-buttonpanel' into wffchecker-tflogic

* wffchecker-buttonpanel:
  Added current Wff.g4
  added comments to list error messages
Commented out WIP error messages
minor updates to wff and qf grammar