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>
Merge branch '1.0.x'
Fix ECHO command in CVC language parser to not output quotation marks
Fix builds/ links to survive configuring twice with different prefixes
Merge branch '1.0.x'
make incremental+portfolio experimental
Merge pull request #5 from kbansal/1.0.x

make incremental+portfolio experimental
make incremental+portfolio experimental
Merge branch '1.0.x'
prvs commit: lower warning to notice

Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>
Merge branch '1.0.x'
Re-enable predicate subtyping, reversing commit 8f9f549
Fix version identification for new git repository.