refactor and remove GlobalSettings.kem
add missing call to KEMException.register
fix copyright
Added better error message for when SDF crashes, to indicate the line number of the rule in question.
Merge branch 'master' into sdfCrashMessage
fix test error
Using RuntimeException instead of just Exception.
Adding warning suppressors for the RuntimeException from SDF parser.
Suppressor, one more time...
Learning by trying...
Merge pull request #1109 from kframework/sdfCrashMessage

Added better error message for when SDF crashes
fix code review comments
Merge branch 'master' into staticstatekem

Conflicts:
	k-core/src/main/java/org/kframework/compile/transformers/ResolveBlockingInput.java
	k-core/src/main/java/org/kframework/kil/Definition.java
	k-core/src/main/java/org/kframework/kil/loader/Context.java
Merge pull request #1099 from dwightguth/staticstatekem

refactor and remove GlobalSettings.kem
Merge branch 'master' into parseInModule