Merge pull request #15 from 30percent/master

Quick changes
Preliminary merge done.
Fixed a number of bugs introduced in the merge.  Fixed a tree walker bug.  Fixed the MathPopulator to be in synch with the current functioning of the tree walker.  Fixed a MathPopulator bug exposed by the preprocessor changing the math equals sign into the the text Are_Not_Equals (the appropriate program operation was not actually being found, rather only the math symbol).  Fixed a verifier bug in which the type was not appropriately being set on initial values.
Merge pull request #16 from hamptonsmith/postMerge

Devil Merge
A little name cleanup.
Merge pull request #17 from hamptonsmith/postMerge

A little name cleanup.
Changed pom.xml to allow the building of an executable RESOLVE jar with dependencies bundled in. Do a maven run with the package goal to produce the jar.   Run with java -jar <path to the RESOLVE .jar> -maindir <absolute path to your MAIN>.
Merge pull request #18 from mikekab/master

Command line execution support
Pretty Changes
Readding NoBacktrackChooser lost during rebase changes