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