John North — British historian of science (1934–2008)