Enable deleting a version of an `@op`

[amakelov]

Given the version ID for some version of an @op, there should be a one-line way to

• delete this version from the storage
• delete all dependencies (globals, functions) that are relevant only for this version
• delete all results that depend on this version
• print a summary of what was deleted