Merge branch 'download-cache' into 'master'

added the possibility to cache locally downloaded tarballs (and git repos)

If the cache variable `EP_CACHE_DIR` is set, tarballs are taken from
there if available, otherwise downloaded and copied there to avoid
the download after a make clean.

(restored changes from merge request !18)

See merge request !26