dune-config(5) on Linux

The text 121b18d831c5, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.

configuring the dune build system

dune-config(5) on Linux now