Making kore parse quote-unquote.k
hooks and some changes
inlined hook namespaces
Merge pull request #1056 from kframework/kast-in-K-diff

Making it parse, and adding hooks