使用Python下载HTML数据的代码以及附带的对内容的处理