added escapeStringLit to escape double quotes when printing string literals
added escapeStringLit to escape double quotes when printing string literals

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