SAWCore Simulator: add support for interpreting ExtCns
SAWCore Simulator: add support for interpreting ExtCns

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