Concerning #691 adding option in CasadiOptions for simplification on-the-fly
Closes #707: build broken when git not found
automatic casadibot merge