Tooling / docs for jupyter notebooks generation from literate

[mforets]

They are no longer generated ( https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/774/files ) this task is about an easy way to generate them again locally.