UserDictionary fix, tokens with whitespace now allowed, minor DoubleArrayTrie refactoring