Actually, I consider this to be a hack.
I think we shouldn't unquote strings when we represent them in the memory.
I'm saying this because Daejun had some problems in the javascript semantics when we didn't handle properly some special characters.

For example, if you write in a program "a\bc" after it goes through kompile and krun, you will get the result "abc" (notice the backslash disappeared). Now that's a bug, we need to handle it somehow. But not in this commit. I just followed the convention we currently have in this case.