Better unicode support

- tokenization option in config: kind of tokenization (whitespace, alpha, alphanumeric or unicode) can now be specified in the config file. Needed whitespace tokenization for unicode input files.

- fixed output when using unicode terms: `str` did not work on unicode strings.