Use https in download examples

Downloading executable files over http is vulnerable to mitm, which is especially bad for executable files