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
fix race condition on kompiled directory
Fixing the final example in the unit tests for the new parser.
Adding a timestamp to generated files in .k to make it easier to track the last version.
Merge pull request #892 from dwightguth/parallel

fix race condition on kompiled directory
Merge pull request #895 from kframework/fileFormat

Adding a timestamp to generated files in .k to make it easier to track the last version.
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