Common subexpression elimination in LoggingScript.

Added a new constructor that sets up the LoggingScript to use common
subexpression elimination in the output of assert, define-fun, and getValue
commands.  To be compatible with existing code, the old constructors do not use
common subexpression elimination.