Bugfix: Echo $S3_REPOS into the s3.sources.list file, not $HTTPS_REPOS.

Change-Id: Id4b9db07b180b627bb6f42369b78b41d4717bbcb