Update ibex_CtcInverse.cpp

Correct memory leak in CtcInverse
Update ibex_CtcInverse.h

Correct memory leak in CtcInverse (continue)
Merge branch 'master' of https://github.com/ibex-team/ibex-lib into OptiContractor
Adding Set, SetNode, SetLeaf, SetBisect, Stc, StcEqual
Fixing compilation problems
Set: fix bug diff + add print function
diff (SetNode): fix bugs with espsilon-sized subboxes
Fix bug SetBisect destructor
Creating intersection
Fix bug on the status set to "diff" in SetLeaf::inter
Replace to_vibes by visit_leaves
Renaming files
Cosmetic changes
Add TestSetInterval
Ctc: fix bug check_nb_var_ctc_list + minor fix for CtcInteger
Replacing BoolMask by BitSet (issue #11)
CtcPropag: fix bug on bitsets initialization
Solving memory problem with lexer (buffer deletion with scan_string) and memory leak in Function::build_from_string (fix issue #37)
Fix issue #28 (+ test in TestCtcFwdBwd)
CtcForAll updated (code is now factorized with CtcExist via CtcQuantif). Issue #39 fixed.
DefaultSolver: replace COMPO by XNEWTON (bug)