Fix Windows staging for 64-bit
Fix Windows staging for 64-bit

Don't strip executables, since `strip` can't do that for 64-bit files,
and don't rename the distribution package.

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