automatic documentation update
Fixes #626
automatic casadibot merge