deb_download_unpack.sh: download and unpack .debs