dos2unix conversion for a number of files; this avoids spurious conflicts when merging to master
decision/ : save d_prvsIndex in JH
remove now-unnecessary wrappers from Type interface
Merge branch '1.0.x'
Merge pull request #3 from kbansal/1.0.x

decision/ : save d_prvsIndex in JH
Merge remote-tracking branch 'origin/1.0.x'
Fix a compiler warning in NodeBuilder
Merge branch '1.0.x'
make datatypes enumerator behavior clearer (no exceptions in normal operation)
make datatypes enumerator behavior clearer (no exceptions in normal operation)
Do not install the "private-library" header
Make --default-dag-thresh apply to stringstreams
Fix error in tuple type-checking.
More complete fix for bug 484 (includes fixes for records and tuples).
Significant work on bug #491 (not yet closed).
Only put quantifier assertions in model equality engine if fullModel==true
Merge branch '1.0.x'

Conflicts:
	src/theory/quantifiers/theory_quantifiers.cpp
Fix user-values in SMT-LIB v1.2
Fix a preprocessing performance issue.
repairs a bug in rewriterule engine: constructor cannot be used as a pattern