Modify saw-core external-format parser to use fresh `ExtCns` indices.
Modify saw-core external-format parser to use fresh `ExtCns` indices.

The new parser also uses `fail` in the `IO` monad to signal a parse
error, and avoids partial functions like `read` and `error`.

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