fix: configuration of public and private tools

This changes:

• Private tools shouldn't be cached they are always unique as they are owned by something
• Public tools are now cached by name, and we assert that they are identical
• No implicit addition of #N suffixes, as that breaks the implicit assumption of many public tools which aren't configured via PyConf. For private tools this isn't needed.
• Configuring a public tool with the same name and different properties results in a configuration error.

added Configuration bug fix labels

requested review from @rmatev

changed the description

added 1 commit

• 6574d829 - fix: configuration of public and private tools

Compare with previous version

added 1 commit

• 7747eb11 - fix: configuration of public and private tools

Compare with previous version

assigned to @chasse

/ci-test --merge

added ci-test-triggered label

• [2021-10-06 17:21] Validation started with lhcb-master-mr#3003

resolved all threads

assigned to @rmatev and unassigned @chasse

approved this merge request

merged

mentioned in commit 45cdc958

mentioned in issue Moore#335 (closed)