Use https in download examples

Downloading executable files over http is vulnerable to mitm, which is especially bad for executable files.

I've confirmed that the file does serve over https