Created release branch for 2.1.0
Merge pull request #1240 from casadi/develop

load plugins with RTLD_LOCAL
release-update commit
Merge pull request #1246 from casadi/develop

Develop
Merge pull request #1247 from casadi/develop

automatic documentation update
more hints for FIND_WORHP
Merge changes from release-2.1.0 to develop.
automatic documentation update
Update footer.html
automatic casadibot merge