html/tidy: Allow more HTML5 input types

This allows the following:

- search
- number
- range
- date
- etc

Somebody could in theory put type="foo", but all browsers' default input type is "text" and they all ignore unknown types.

This augments #432