Merge pull request #1 from maurer/cmu-2013-fall

Fix some build issues
Minor typo.
Fixed \judgmentfont bug when used inside theorems.
Week 3 notes
Remove the erroneous part.
Merged week 2
neaten up chart
add week 4 day 1 notes draft
Redundant definitons?
Yes we can define fst and snd.
Comment out wrong parts about eta-rule.
.gitignore
Makefile.
Better Makefile.
Clean up duplicate definitions.
Notes for week 5.
Fised some errors in notes for week 5.
Merge branch 'cmu-2013-fall' of github.com:favonia/hott-notes into cmu-2013-fall
finalize week 4
Make files compile.