feature/new parser on kore

**please review** @dwightguth 

A bit of context:
take textual full K outer definition ( with KAST inner)
->
KIL outer + bubbles
-> via KIL-to-KORE
KORE outer + bubble
->
parse KAST bubbles with new parser using a KORE outer definition of KAST (from kore.k)
->
complete KORE :-)

@radumereuta, this is the work we did last week. I fixed some tests and cleaned up a bit. have a look and adjust as you see fit.
@cos, you are pushing the envelope here.  Nothing from what you said is visible there, there is no javadoc or useful comments for users.  Just adhoc Scala code, which could have just as well be Java.  I don't know about others, but I am personally tired of having this discussion over and over again.  This slows us down and we've got lots of things to do.  You got the maximum you can get wrt Scala for now.  We may re-evaluate the situation after we have a clean, KORE based implementation that works well.  Maybe K 5.0.