Random Delete

This extensions does what it says. It allows to delete with a certain probability each of the selected objects.