Profiles: Add a generic function available to WordPress.org to assign/remove a badge from a user profile.
See https://github.com/WordPress/pattern-directory/issues/472