Add '-c' option to './stage.sh' to clean previous releases.
Add '-c' option to './stage.sh' to clean previous releases.

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