feature/outer kore

**please review**

outer KORE sketch. will probably change as we start using it.
Guys, there are NO CONFIGURATIONS in KORE!  :-)
Please see the wiki: https://github.com/kframework/k/wiki/KAST-and-KORE.