Added reference to Jeremy Dawson's paper on the word library.
Added header to remaining word/*.thy files so they show up in toc.
Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions