Updated Formal Methods notes for Oct 2012.
Remove research and notebooks pages, update design.
Update a few pages.
Some template tweaking.
List December 2012 talk.
Add PhDs in Logic talk and slides.
Update for Hakyll 4.3.*
New design for the new academic year.