Change file names to S3 etags

AWS's S3 ETags are usually MD5 checksums. This allows us to verify our downloads.