adapting valgrind supp
Merge branch 'travis' of github.com:casadi/casadi into travis