refactor the way the application exits and exceptions are caught
fix copyright
fix copyright on one more file
fix code review comments
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().
address Andrei A's comment
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 ...
fix headless issue properly
fix copyright