added scFreshenGlobalIdent to find a fresh Ident to use for a SAW core global
added scFreshenGlobalIdent to find a fresh Ident to use for a SAW core global

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