fix ambiguity in substitution.k
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
formatting and some doc text
fix whitespace
fix
remove explicit dependency on junit