Update htmltree.py

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