Fix a preprocessing performance issue.
repairs a bug in rewriterule engine: constructor cannot be used as a pattern
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'