Back to dev.
Render segmentedlist elements as tables when using XHTML.

For the two places we actually use segmentedlists in php-doc, this takes the
output from being basically unreadable to actually useful.