string のtokenize の修正

なおしました。

これはtest_lexer_prims でのテストを通過します。(つまり、これが入れば #85 もmerge できるように思います。)