Delete multiple documents in trash

You can now select more than one item in trash to delete permanently.