download_file.py: sync with version from Gerrit 2.11

Change-Id: I7738ddcbc65832149f80ca0eeb1250865c87acdd
1 file changed