Stop using 'uname' to compute release names.
Stop using 'uname' to compute release names.

The "Darwin" for OS X and "CYGWIN_NT" for Windows 7 were not
ideal. Instead, I added the 'SYSTEM_DESC' env var on 'pocket' and
'oriel'.

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