Update casadi-users_guide.tex
automatic documentation update
automatic casadibot merge