Update htmltree.py

Improving htmltree's performance by adding a new class HTMLEntitySubstitution, which 
substitute HTML entities for corresponding characters.