launch iocaml with an inbuilt notebook which provides the documentation for the tools. Make the option prominent when -h/-help is given.