Adding .tex files for the instructor's manual.