syntax cheanges
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