Autoupdate documentation with coqdoc to d977ef4

Generated with `make html` on commit:

commit d977ef43bccc172cf13ace87912893f6d7b4f3d5
Author: Jason Gross <jgross@mit.edu>
Date:   Tue Sep 3 20:01:56 2013 -0400

    WIP coercion Functor >-> Pseudofunctor