Arduino changed the download link again, this time it uses a script,
curl handles it ok luckily.
Merge pull request #289 from sej7278/master

Arduino changed the download link again