Update Turing Award Lecture-Ken Thompson.tex