Made some changes to the formatter for readability
Merge pull request #94 from Welchd1/formatting

Made some changes to the formatter for readability
added a maven plugin to automatically add licenses
license files
edited the license on each of the files
java formatter edits
Merge pull request #95 from yushan87/license

License
switching to the new symboltable
simple toy example generating vcs
added additional comments to current methods
10-3-2013 work in progress
work in progress - 10/10/2013
working on requires clauses
some minor changes to VCGen and TypeGraph
can obtain initialization ensures from type
modify requires by parameter mode is done. there is a problem adding the parameter as a free var that still needs to be resolved.
done modifying requires clause with constraints/initialization ensures from parameter variables
added variables into the assertion as verification statements as well as free variables
added the ability to generate VCs for recursive procedures in the procedure declaration rule
new vcgenerator can now produce verbose output