Added __html__() method to the HTML class so that other Python modules
will know not to escape special characters.  See http://bit.ly/13MaPq6
for an example of how it gets used.