adding copy constructor for the datatype enumerator
fixes bug 484
Merge branch '1.0.x'
SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing
[RewriteRules] add again rewriting during preprocessing