Tweak the SAWScript pretty printer.
Tweak the SAWScript pretty printer.

1) Make every function application have parentheses.  This produces
very ugly output, but is correct; previously, printed code would not
parse correctly. This should probably be fixed to pay attention to
precidence to minimize parentheses.

2) Fix the special case for monadic statements whose output is not
bound to a variable.  It now looks for the same case that the parser
produces.

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