ticket: Added a method `Ticket.delete_change()` to delete a ticket comment, including field changes, while (attempting to) keeping the history consistent. Also, added an optional UI component adding "Delete" buttons to the ticket page for deleting comments and complete tickets.