removing some dead code
update readme to actual lecture contents
lecture notes
Merge branch '2014' of github.com:sweirich/pi-forall into 2014