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
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
Removing BVDebug and replacing with Debug.
repairs a bug in rewriterule engine: constructor cannot be used as a pattern
(cherry picked from commit c33a1abc78bcd51f3f95562b117498caf252cafc)

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Fix ECHO command in CVC language parser to not output quotation marks
Fix builds/ links to survive configuring twice with different prefixes
make incremental+portfolio experimental
make incremental+portfolio experimental
prvs commit: lower warning to notice

Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>
antlr c++ target mostly works

Conflicts:
	src/parser/bounded_token_buffer.cpp
	src/parser/smt2/smt2_input.h
more functional, now