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.
Fixing copyrights.
Fixing ktest config files.
Fix config.xml to not test the programs.
Fixing some whitespace.
Restricting the regular expression for String to only accept valid escaped characters.
Ups, forgot to add BackSlash BackSlash to the accepted strings.
Ok, including 0x10ffff.
Added unit test for StringUtil.unquoteString().
Fix comments.
Added comments about the range of the hex unicode accepted by strings.
Fixing the tests. Forgot to unescape backslash.
Merge pull request #397 from kframework/string-fix

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