included BTrace script used to profile Java KRun; minor refactorings to ease the writing of BTrace script or circumvent BTrace bugs
Java backend: added option --pattern-matching to krun
Java backend: added tag interface for data structure choice operations; fixed a related latent bug
Java backend: fixed a few bugs in SetLookup & PatternMatcher
Java backend: used GroundRewriter for run/search when option --pattern-matching is enabled