Install instructions for CasADi: http://install.casadi.org

![post2](https://github.com/casadi/micro_demo_ipopt_codegen/assets/329032/a9f4344e-c81e-4629-990a-8b5519e15e7d)