delete extension version from TER

What kind of feature do you want?

make it possible to delete a specific version of an extension from TER (again)

What are the benefits?

prevent users from downloading faulty code

Add some use case

realurl_clearcache2 was uploaded with v2.0.0 (wrong), then changed to 1.0.0 - now, 2.0.0 version cannot be deleted