Minor changes in tokenizer and utf-8 streams

Sorry for the dealy, but this is to allow for other languages (at least with Latin-like scripts)
(tested with Russian, French, Spanish, Portuguese, German, English)