scripts/dl_github_archive.py: rename from download.py