John Pocock, who has died at the age of ninety-nine only a little short of his hundredth birthday, was a giant of the historical profession. Obituary by Colin Kidd