ext: replace wget with python downloader
scripts: port ext script to python2
ext: download zips with curl