work on callbacks and gather_stats in snopt
#1131 Fixed linting error
Merge branch 'develop' of github.com:casadi/casadi into issue_1131