[severity_migration] Drop the script

[suhaibmujahid]

The script was introduced to migrate old-style severity values. Based on stats in #1639, the script could be deleted after 25 weeks (after March 7, 2023).