Adding script for downloading mithril tarball from s3

And made it configurable
Writing aws and s3-download-tarball scripts

Still optional whether or not to use them