Python增加html_escape函数