Update push-docs-to-s3.py