download_file.py: sync with version from Gerrit 2.11 Change-Id: I7738ddcbc65832149f80ca0eeb1250865c87acdd