Tokenizador HTML de alta performance
