Removing BVDebug and replacing with Debug.
Merge pull request #4 from tiliang/master

a bugfix in rewriting rules
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'
Fix typo in error message
Fix version identification for new git repository.
Merge branch '1.0.x'
Some cleanup and copyright updating

* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
rm decision jh GiveUp related code
refactoring justification_heuristic code
decision/: justification: refactor ITE out