We need a script to run the tutorials or part of it, post-process the output and generate the console listings in the documentation.