Support gzipped responses in web.py