Updated CasADi version
automatic casadibot merge