Former EDL leader and professional gammon-herder Tommy Robinson has been thanked by dictionary publishers today, for providing the perfect definition of 'irony'.