Autoupdate documentation with coqdoc to 9e0fde2

Generated with `make html` on commit:

commit 9e0fde25c34460c816e518d163c7165b5cb6ff7a
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Sep 8 17:38:55 2013 -0400

    WIP Actually do PseudofunctorToCat right