Concerning #691 adding option in CasadiOptions for simplification on-the-fly