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.
fix code review comment
fix Cosmin's comments
fix whitespace
friendly error message on uncaught exception
fix Key.toString
Merge pull request #891 from dwightguth/separation

separate out static dependencies of core on java backend
Merge branch 'master' into uncaught

Conflicts:
	src/javasources/KTool/src/org/kframework/utils/errorsystem/KExceptionManager.java
Merge pull request #897 from dwightguth/uncaught

friendly error message on uncaught exception