refactoring HTMLTokenizer::tokenizer