Michael McCrum (1924–2005), CBE, Headmaster, Eton College (1970–1980), Master (1980–1994)