Fix strings-exp setting.
bring back D-Norm
remove unrolling depth
Fix strings-exp setting.
bring back D-Norm
remove unrolling depth
Merge branch 'master' of github.com:tiliang/CVC4