Point to frozen mysql tarball in s3

Since we froze the version of mysql and it's no longer hosted at the origin, we need to serve it ourselves out of S3.