config stanzas

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