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 remote-tracking branch 'upstream/master' into debug-subs

Merging changes from upstream.