Add swig renames for new Z3STR language.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Fix strings-exp setting.
bring back D-Norm
remove unrolling depth
Merge branch 'master' of github.com:tiliang/CVC4