Roald Dahl was anti-Semitic. Do we need his family’s apology now?