External core parser can now handle String literals containing spaces.
External core parser can now handle String literals containing spaces.

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