Fixing the scanning of escaped characters in strings

type:fixed

Changelog details:

Until now escaped characters in strings were not properly scanned.

For instance, now the following constants

let _one   = String.length "\""
let _two   = String.length "\n"
let _three = String.length "\\"

are accepted and evaluate in 1.