Added the definition of #String directly into K. I also had to fix some ...

...stuff in order for it to work:

   - renamed escapeK into enquuoteString for better naming
   - fixed a bug in KSyntax2Grammar generation
   - added ktests for the new parser.