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.
Yes, we choose to duplicate the `concrete2` package. I don't think trying to solve this by abstraction is worth it. The `concrete2` package working over KIL is meant to be removed once we have a good implementation based on Radu's small data structures. Furthermore, by doing this we were able to but out large swats of code which were no longer relevant.

If we are to merge these, we'll basically have to either clean up the KIL classes to conform to a nicer smaller interface, or muddy up KORE and Radu's classes to conform to KIL interfaces.