MDL-40572 badges: Move badges_get_issued_badge_info() to deprecatedlib.php