pip.index.HTMLPage.get_page now handles various gzip Content-Type headers instead of failing when 'Content-Encoding: gzip' is missing