Tokenizer.php: Use case-insensitive matching only on HTML5 tags