Convert redis counts for group::ide

Problem

There are metrics for groupide which are still based on Redis total counts and should be converted to Internal Events.

Desired Outcome

The following metrics are converted to internal events:

• counts.web_ide_commits
• counts.web_ide_merge_requests
• counts.web_ide_pipelines
• counts.web_ide_previews
• counts.web_ide_previews_success
• counts.web_ide_terminals

Potential Solution

Check the steps mentioned in #433107 (comment 1856588406) to do the migration.

Use the migration solution from #429556 (closed). Please be on the lookout for already existing events which might have been instrumented to track the same action and are in use by a unique or similar metric

Consider if it is possible to additional properties and make lesser events, If that's the case then we should do it after #435338 (closed)

How to Verify

Migrated events should show the appropriate values in the newest automated service ping, e.g. on this dashboard with install id 8b52effca410f0a380b0fcffaa1260e7