Arduino changed the download link again, this time it uses a script,
curl handles it ok luckily.