fix copyOnShareSubstAndEval to call isNormal
Keep location information of KItem in Java backend
Merge pull request #1252 from kframework/location-info-kitem

Keep location information of KItem in Java backend
Merge pull request #1251 from dwightguth/fixcopyonshare

fix copyOnShareSubstAndEval to call isNormal