Repair empty snippets in users guide
Tentative fix for #917, #737 - towards a cleaner build system
automatic casadibot merge