add some theorem environments, cleanup
add lectures from 2013-06-20/21 (first half)
ignore the pdf file because it is elsewhere (not in version control)