Revert "fixes #739 :python_prefix detection now does not silently ignore harmful errors"

This reverts commit fa63090ce381fdfc31d7929b5137bbbcd85ddd87.
Fixes #771 by manually defining _Bool
automatic documentation update
automatic casadibot merge