Delete an agent tool

Deletes a tool and returns the agents it stops working for (just id and name; fetch the full agent via GET /v1/agents/{id}). Unlike releasing a number, this is a recoverable loss - the same tool can be created again, just with a new id that then needs to be assigned to the agents again.