KORE milestone 1

**please review**

 - unit-tested convertors from KORE to KIL and back
 - significant changes and simplifications to KORE data structures. They are smaller and more powerful now

Yes. The klabel names do not matter. The important part is that cells have the "cell" attribute which will make the compiler treat them specially, i.e., do configuration concretization.