Shred tickets

Be careful when you shred tickets! Deleted tickets will still be there, but shredded tickets are removed from the database.

Shred single ticket (e.g. because it contains spam / malware):

~# rt-shredder --plugin 'Tickets=query,id = 10428'