Highlights of the life of John Grierson, documentary film-maker