Adding hack-ish script to set S3 headers.

There are many better ways of doing this, but this is temporary.
Fixing s3_upload script.

It now properly sets headers.