Improved Reader.tokenize() algorithm and added Reader.all_tokens().