remove static state for Tool.instance
fixed BuiltinMap.Builder#build
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 #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