evict stuff from kparser cache
revised MIntSet to be unsigned
fixes #1143 - allow ParseRulesFilter and ParseConfigFilter to catch JSGLR error
fixed a failing assertion
Merge pull request #1146 from yilongli/incomplete-attempt-to-prove-cil-avl

Incomplete attempt to prove cil avl
fix ambiguity in substitution.k
Merge pull request #1139 from dwightguth/localsdf

evict stuff from kparser cache
add trace for "common keys" error
build.sbt files for the kore project
fix krun --graph
Merge pull request #1149 from dwightguth/trace

add trace for "common keys" error
Merge pull request #1151 from osa1/krun-graph-fix

Fix krun --graph
Merge pull request #1133 from cos/feature/scala-support

feature/scala support
Fixing #1153.
Merge pull request #1147 from dwightguth/substitution2

fix ambiguity in substitution.k
Merge pull request #1156 from kframework/fixAssocUpdater

Fixing #1153.
clean Java interface for KORE inner, and examples
and the kore transformers
copyright stuff
style fixes