Add naming-aware pretty-printing function `scShowTerm`.
Add naming-aware pretty-printing function `scShowTerm`.

scShowTerm :: SharedContext -> PPOpts -> Term -> IO String

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