Add diagnostic output to `./get-dependencies.sh`.
Add diagnostic output to `./get-dependencies.sh`.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script