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
add option to run K with nailgun