Starting work on Jorisstyle3
cleaned up syntax, wrote unittests,
automatic documentation update
Finsihed feature, cleaned up code, added tutorial
Merge branch 'feature/jorisstyle3' into develop
Merge branch 'develop' of github.com:casadi/casadi into develop
Forgot to add in previous commit
structure tool: Bug in label getting
Updated vdp_collocation2.py
automatic casadibot merge