Rewrite script/download in Python

Note that we no longer use curl and unzip to download/extract files,
opting to use built-in Python functionality instead.