It seems that it is sometimes desirable to have env settings that cross project boundaries. Currently, the only way to do that is via the dune-workspace file, however it is not very fine grained. We could add an alternative stanza, such as cross_project_env whose scope wouldn't stop at the project boundaries. Alternatively, we could put such configuration in specific dune-env files.