Boris Johnson has called Jeremy Corbyn a mugwump, but what does that even mean?