Hotfix for trunk; <vector> header missing (windows)
Merge branch 'develop' of github.com:casadi/casadi into develop