Merged wffchecker-buttonpanel into master. Now with better error handling
Fixed QTestButton to be like TFTestButton
Slightly modified grammar files
Merge branch 'wffchecker-buttonpanel' into wffchecker-tflogic

* wffchecker-buttonpanel:

Conflicts:
	src/edu/lclark/logic/ButtonPanel.java
	src/edu/lclark/logic/TFTestButton.java