added downloading html version in pullrequest.py