cleanup ids from ids_within_pool when resource is deleted manually

[praiskup]

if one does update resource set state = 'ENDED' where ..., then one might forget about deleting row from ids_within_pool; and the db is then inconsistent.