cplex valgrind glitch
Merge branch 'travis' of github.com:casadi/casadi into travis