refactor and remove GlobalSettings.kem
add missing call to KEMException.register
fix copyright
fix test error
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