XHTMLList(): add parameter `attr'
Rename XHTML_OL() -> XHTML_OL_DECIMAL()
Implement XHTML_OL() as "base function" for XHTML_OL_DECIMAL()
Implement XHTML_OL_ALPHA()
Make use of XHTML_OL_ALPHA()