xenserver/buildroot — pull request #467 by djs55 (2014-06-07 14:48:03+00:00)
Title: Add downloader script

* detects non-archives and deletes them (e.g. HTML error pages etc)
* retries failed downloads several times
* canonicalise github.com URLs

The github.com URLs we're using are of the form

https://github.com/org/project/archive/tag/filename-we-want.ext

unfortunately these URLs don't always work, so we rewrite them to
the standard URL of the form

https://github.com/org/project/archive/tag.ext

Signed-off-by: David Scott