Adding Constant class and ProductionReference as a superclass of TermCons.
This allows for better error reporting in the new parser when having ambiguities.
It will also allow for more simple disambiguation filters.
Fixing Copyright comment.
separate out static dependencies of core on java backend
fix copyright
fix checkstyle
Fixing FlattenSyntax for the new Constant class.
fix bugs in new guice modules
Amending some of Dwight's comments.
strongly type attributes
make attributes unique per ASTNode instance
fix more bugs
Fixing the final example in the unit tests for the new parser.
update z3 api to latest on mac os x
update linux z3 binaries
add windows binaries for z3
Merge pull request #896 from dwightguth/z3_api

update z3 api to latest
fix code review comment
fix Cosmin's comments
fix whitespace
friendly error message on uncaught exception