Rely on both the display name and matrix ID to know if the bot was pinged

[thibaultamartin]

When the bot is pinged, calling its display name doesn't work. Hebbot only picks up questions if they start with its Matrix ID