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
outer kore
explicit junit dep to overcome sbt-maven bug