Fix quotes in string constants.
New translation work, support Z3-str-style string constraints.
Minor code clean up in parser.