#1194: use RTLD_GLOBAL on all loaded plugins
#1195: add -DWITH_DEBIAN_BUILD option
line length
update debian package descriptions
updated debian/copyright
update python-supprot to dh-python for debian build
add slicot to debian
lintian
debian python-casadi install files
spelling mistakes (found by lintian)
fix sundials format security hole
add extra warnings for C code

most warnings supressed right now due to large number of them in external code
remove unneeded warning supression
automatic documentation update
automatic casadibot merge