`config` stanzas

Starting in Dune 3.0, any of the stanzas from the ../config/index file can be used in the dune-workspace file. In this case, the configuration stanza will only affect the current workspace.