fix ambiguity in substitution.k
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
Merge pull request #1134 from cos/feature/sketch-kore-java-interface

feature/sketch kore java interface
add option to run K with nailgun
fix setenv script to work with kserver
add mvn target for nailgun
fix stray change to pom