Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc to 91aafd7

Generated with `make html` on commit:

commit 91aafd760cce9aea30836560eebdf86938504e78
Author: Jason Gross <jgross@mit.edu>
Date:   Fri Sep 27 17:55:28 2013 -0400

    Uncurry the FunctorCategoryFunctor