Worked on improving error checking using a tree listener
TruthTableChecker works with multiple target formulae
Created a simple GUI for the main Logic Trainer GUI window.
Fixed bug: ButtonPanel works in TruthTableBuilder when you have multiple target formulae
Added a second button to the main LogicTrainer GUI window.
Window now resizes to fit content
Updated README
Merged wffchecker-future in
Removed incidental merge errors
More post merge bug squashing
Threw my WIP changes on top of the completed merge
Made WffChecker.printTree() actually print a tree instead of returning a String
added testRedundantQuantification back into QfWffCheckerTest
Wrote more Qf tests, worked more on redundant quantification
Merge branch 'treewalking'

* treewalking:
  Wrote more Qf tests, worked more on redundant quantification
  added testRedundantQuantification back into QfWffCheckerTest
  Made WffChecker.printTree() actually print a tree instead of returning a String
  Threw my WIP changes on top of the completed merge
  Removed incidental merge errors
  Updated README
  Window now resizes to fit content
  Added a second button to the main LogicTrainer GUI window.
  Fixed bug: ButtonPanel works in TruthTableBuilder when you have multiple target formulae
  Created a simple GUI for the main Logic Trainer GUI window.
  TruthTableChecker works with multiple target formulae
  Worked on improving error checking using a tree listener