Docs: Making the repo download link HTTPS

Bug: 14925230
Change-Id: I07366f8820cd86466d3f13da36fc15e65b2f2507
1 file changed