Jira and Asana badges, and dead-click detection

Linked badges for Jira and Asana pushes, and dead-click detection that accounts for continuous animation.

• Pushing a ticket to Jira shows its key as a badge in the thread, linking straight to the issue.
• Pushing a ticket to Asana shows a badge in the thread and records the linked task on the ticket. An Asana task has no short key, so its badge is labelled by provider rather than by reference.
• Dead-click detection discounts continuous repainting — a product tour, a ticker, a spinner — when judging whether the page responded, so clicks on inert controls are flagged on animated pages.