Remove dependency management related code from `build-sandbox.sh`.
Remove dependency management related code from `build-sandbox.sh`.

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