- Implemented a getTerm method in Substitution.
- Implemented a getMatrix method in fol.scala
- Implemented methods to transform quantifier-free and prenex formulas into
  expansion trees.
- Advancing in veriT parsing.
- Organizing GAPScalaInteractiveShell and creating method to parse veriT proofs.
- Added an import to CLIMain so that testCutIntro could use FlatTermSet
- Modifying testCutIntro to run again


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1580 85d21ef8-add0-11de-ae77-5bfb9c5a3f34