fixes #739 :python_prefix detection now does not silently ignore harmful errors
fixes #691: allow disabling simplifications
fixing mistake in nlp unittest
Fixes #691: Disabling simplifications
automatic documentation update
automatic casadibot merge