Support "tokenize.ENCODING"

This fixes #1.