feat - Allow Badges to have displayName different from key

[B-T-D]

Description

Updates the BadgesListConfig to add an optional key string field. Updates the BadgeList component to use a BadgeConfig's key, if available, instead of its displayName in callback used to apply search filter for a particular badge.

Motivation and Context

Sometimes helpful to be able to have a badge display name that's different from the badge's name in the database (its "key"). The new key field is optional so that BadgeStyleConfigs in existing config-custom.ts files will still work without providing a key.

How Has This Been Tested?

Ran existing tests.

Documentation

To create a badge with different key in database than its displayName:

const configCustom: AppConfigCustom = {
  badges: {
    my_badge: {
      style: BadgeStyle.DEFAULT,
      displayName: "MyBadge",
      key: "my_badge_key",
    },

CheckList

• [x] PR title addresses the issue accurately and concisely
• [ ] Updates Documentation and Docstrings
• [ ] Adds tests
• [ ] Adds instrumentation (logs, or UI events)