kframework/k — pull request #1131 by cos (2014-10-29 20:47:21+00:00)
Title: add Scala KORE inner classes

- rename k-core to kernel
- add kore module to the mvn build system, make kernel (and only kernel) dependent on kore
- add Scala KORE classes