Delete a ticket

Tickets can now be deleted outright. Removing one cleans up its comments, subtasks, attachments, and links in a single step, behind a confirmation so nothing goes by accident.