Autoupdate documentation with coqdoc to b952ceb

Generated with `make html` on commit:

commit b952ceb183977fed97dd18e15e0133aab1b1b088
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Sep 8 05:02:22 2013 -0400

    WIP  Realized I need pseudonatural transformation