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.
Why is this in Scala?  @cos, let me remind you our deal, which was already a stretch: we can only use Scala for the kore data-structures, and for getters and setters for them.  Maybe also the base classes that transformers and visitors implement, but basically nothing that normal developers need to see.  Please understand that you work in a team here, and the team had its rules and language set well before you joined the team.  And that language is Java and *not* Scala.  Also, if you need to rewrite existing code that is not related to the above, do it by actually rewriting that existing code, not by duplicating it or creating another version of it.