snopt doesn't need -ldl
no dsdp interface for debian
capitilization
Merge branch 'develop' of github.com:casadi/casadi into develop