Andy O'Donoghue on the life and career of Professor John McCarthy, the computer scientist who coined the term "Artificial Intelligence"