Add instructions for generating `build-sandbox-version-pins.txt`.
Add instructions for generating `build-sandbox-version-pins.txt`.

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