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
Merge changes from release-2.1.0 to develop.