added scFind* to the module export list of SharedTerm.hs
added scFind* to the module export list of SharedTerm.hs

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