load plugins with RTLD_LOCAL
Merge pull request #1240 from casadi/develop

load plugins with RTLD_LOCAL