bugfix attempt
Merge pull request #1224 from casadi/quickfix

#1223 Addition to pull-request
Removed debug message
#1223 attempt to fix
casadi.casadi does not exist (since a while)
automatic documentation update
automatic documentation update
automatic casadibot merge