Tyxml_nameGives the tyxml names for HTML elements and attributes.
The transformations are the following:
Turn the given element name into a valid identifier.
Follow the to_ocaml convention and lowercase the first letter.
Turn the given attribute name into a valid identifier.
Follow the to_ocaml convention and add "a_" at the beginning.