Switch github URLs to `https`

Much more firewall-friendly for the corporate users.