scripts/dl_github_archive.py: convert to Python 3 with 2-to-3