spellcheck more portable
Merge branch 'travis' of https://github.com/casadi/casadi into travis