core; reader_read_string: Support escaped characters.