Re-adds download-deps.py, unzip works ok and output more detail informations

Submodule of `external` has gone.