friendly error message on uncaught exception
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