Added script to extract info from the HTML5 tokenizer spec