[ANN] Dune 2.8.0

[Kakadu]

@rgrinberg

First is the experimental dune_site extension that makes it possible to register and load plugins at runtime. This feature is quite involved, but we’ve documented it extensively in the manual .

@rgrinberg Out of curiosity, with dune-sites how far away we are from unloading plugin in run time and loading back updated version without reloading of whole application?