First commit. Typos in Lecture1 fixed