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.
automatic documentation update
Update footer.html
don't set SNOPT_FOUND unless ALL required libraries are found