Change cddlib to GitHub tarball

[wxmerkt]

The Cloudfront one is blocked from the UK. cddlib recently started to host their project on GitHub instead of the old FTP server, so changing it to GitHub tag tarball.

Resolves #72

[wxmerkt]

Actually, this tarball is different from the one that used to be on CloudFront and the patch fails. Do you have a copy of it or could change the CloudFront to allow the UK? 🇬🇧

[rdeits]

I can send you a copy of the tarball from the cloudfront server, but I have no control over that server whatsoever and no idea why it's not working. Maybe some GDPR thing?

Would you like a copy from cloudfront, or is the new terminator link the right one now?

[rdeits]

Also @wxmerkt I just marked you as a collaborator on this repo, so you should now be able to push branches to the main repo instead of your fork. That will let the CI actually run properly on your pull requests, since otherwise the encrypted Mosek license file can't be used.

[wxmerkt]

Hi Robin,
Thanks for the quick response and invitation, I will push it against here to runt he CI.

I have the correct tarball and it's the one on terminator - unfortunately the upstream @cddlib/cddlib repository tarball is not the same. Happy to close this PR and leave it on CloudFront as is - it worked wonderfully about 1-2 weeks ago and we just noticed today that it's blocked. Do you know who runs the CloudFront (Drake?). If so, could they open it up again then we can leave it as is?

[rdeits]

@jamiesnape it looks like you made the switch from aws to cloudfront: wxmerkt@22935c6 Do you know why it's no longer accessible?

[jamiesnape]

I will check the settings.

[jamiesnape]

Can you try https://drake-mirror.csail.mit.edu/other/cddlib/cddlib-094h.tar.gz?

[wxmerkt]

@jamiesnape That one is good and accessible.