Fix the de Bruijn citation.
Merge branch 'cmu-2013-fall' of https://github.com/favonia/hott-notes into cmu-2013-fall
Missing comma in bib file.