Update html-spider.py

succeed on downloading mysql5.1 CHS manual