Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key

[zazedd]

This PR addresses an issue with the repository root path in an Irmin-git repo that follows a preceding Irmin-git repo. Additionally, it eliminates the potential for duplicate root entries in an Irmin config.

Irmin-git issue

The issue arose when trying to create two Irmin-git repos one after the other:

let users_cfg = Irmin_git.config ~bare:true "./db/users"
let pipeline_cfg = Irmin_git.config ~bare:true "./db/pipeline"

...

let* users = UserStore.Repo.v users_cfg
let* pipeline = PipelineStore.Repo.v pipeline_cfg

After creating pipeline_cfg, the users repository is unable to find its root, as when Irmin-git creates a "fresh root key", it overrides the Univ function that was able to decode the root directory string for users from the config's Univ map.
This results in a new git repo being created in the project's current working directory, which isn't the expected behavior and can even break an existing git repository.

Duplicate root entry

After fixing the issue with Irmin-git, I noticed it was only possible because of the allow_duplicates flag.
I believe that it allows for a dangerous operation that should not be performed.

[art-w]

Thanks a ton for discovering and fixing this nasty bug! A couple of minor fixes would make this PR perfect :)

[zazedd]

The newest commit:

• Removes the allow_duplicate duplicate parameter;
• Brings back the pre-configured root name + run id for the test runs;
• Has two new tests in tests/irmin/test_conf.ml;
• Has formatting applied