small fix
Merge pull request #562 from kframework/quick-regression-ktest

Made a quick-regression ktest, and added wiring xml
Merge pull request #563 from kframework/remove-TermContext-caching

Remove term context caching
Merge pull request #564 from kframework/refactor-KLabelConstant

Refactor KLabelConstant
Merge remote-tracking branch 'origin/unified-builtins2' into refactoring-of-TermContext