Bug fixes to CBQI.  Add first draft of CASC j7 TFF script.  Add regression, minor changes.
More preparation for CASC proofs.  Minor fix for sort inference (rewrite new assertions).  Bug fix for ambqi : simplify correctly for multi-sorted case.  Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real.
Replace lemma sending with EQ assertions. Fix a typo in hex_to_int function.
Merge branch 'master' of github.com:tiliang/CVC4