#1012: revert RTLD_GLOBAL workaround
Merge branch 'develop' of github.com:casadi/casadi into develop
#1103 Suppressing no-mismatched-tags for clang
Merge branch 'develop' of github.com:casadi/casadi into develop
#1101 Suppressing -Wtautological-compare for clang
Fixed printing of reduced Hessian in reduced_hessian.cpp example
automatic documentation update
automatic documentation update
Merge branch 'develop' into release-2.0.0