#1103 Suppressing no-mismatched-tags for clang
Merge branch 'develop' of github.com:casadi/casadi into develop