automatic documentation update
Merge pull request #1247 from casadi/develop

automatic documentation update