Include symbol-annotation in core BOM

[basil]

See jenkinsci/jenkins#5293 (comment). Now that symbol-annotation has been split into its own repository, encourage plugins to use the dependency from Jenkins core rather than the structs plugin by adding symbol-annotation to the core (not plugin!) BOM. The corresponding change to stop bundling this with structs is jenkinsci/structs-plugin#112. Note that I am not upgrading the version of this library yet. I want to wait until jenkinsci/structs-plugin#112 is released and more plugins adopt the new release of structs before I do that in order to avoid unnecessary migration pain.

Proposed changelog entries

N/A

Proposed upgrade guidelines

N/A

Submitter checklist

• (If applicable) Jira issue is well described
• Changelog entries and upgrade guidelines are appropriate for the audience affected by the change (users or developer, depending on the change). Examples
  • Fill-in the Proposed changelog entries section only if there are breaking changes or other changes which may require extra steps from users during the upgrade
• Appropriate autotests or explanation to why this change has no tests
• For dependency updates: links to external changelogs and, if possible, full diffs

Desired reviewers

@mention

Maintainer checklist

Before the changes are marked as ready-for-merge:

• There are at least 2 approvals for the pull request and no outstanding requests for change
• Conversations in the pull request are over OR it is explicit that a reviewer does not block the change
• Changelog entries in the PR title and/or Proposed changelog entries are correct
• Proper changelog labels are set so that the changelog can be generated automatically
• If the change needs additional upgrade steps from users, upgrade-guide-needed label is set and there is a Proposed upgrade guidelines section in the PR title. (example)
• If it would make sense to backport the change to LTS, a Jira issue must exist, be a Bug or Improvement, and be labeled as lts-candidate to be considered (see query).

[timja]

This PR is now ready for merge, after ~24 hours, we will merge it if there's no negative feedback.

Thanks!