remove static state for Tool.instance
remove unused stuff from Context
remove unused stuff from Context - 2
remove unused method from Definition
remove unused stuff from Context - 3
remove unused stuff from Context - 4
remove unused state in JavaClassesFactory
refactor ProgramLoader, RunProcess to remove static state
fixed BuiltinMap.Builder#build
put CollectBracketsVisitor back (see #1095)
fixed a long-lasting bug of Equality#isFalse
Separating the new parser code for programs from SDF and returning the grammar object in order to avoid having a static state.
Merge pull request #1084 from osa1/context

Context refactoring -- prelude
Merge pull request #1098 from yilongli/fixing-map-canonicalization

fixed multi-representation of BuiltinMap
Merge pull request #1087 from dwightguth/staticstatetool

remove static state for Tool.instance
Merge pull request #1102 from kframework/staticStateInPrograms

Separating the new parser code for programs from SDF and returning the
Merge branch 'master' into staticstateloader

Conflicts:
	k-core/src/main/java/org/kframework/parser/DefinitionLoader.java
	k-core/src/main/java/org/kframework/parser/generator/ProgramSDF.java
Merge pull request #1089 from dwightguth/staticstateloader

refactor ProgramLoader, RunProcess to remove static state
refactor and remove GlobalSettings.kem
add missing call to KEMException.register