Include the Les Diablerets presentation notebooks to the documentation

See https://cocalc.com/share/public_paths/2a4cdc1e4cea952c78af5031444db79dfe11e0f8

And make it so that they are doctested...