KORE milestone 1

**do not review just yet, but be prepared... **

 - unit-tested convertors from KORE to KIL and back
 - significant changes and simplifications to KORE data structures. They are smaller and more powerful now
 - simple pattern-matcher with associative matching
 - simple rewriter (only one rule for now)
 - some work in progress on meta-level