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