separate out static dependencies of core on java backend
fix copyright
fix checkstyle
fix bugs in new guice modules
fix Cosmin's comments
friendly error message on uncaught exception
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