Add a trick to change the log level of Synthese at runtime in the doc