Autoupdate documentation with coqdoc to 0adf1da

Generated with `make html` on commit:

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

    WIP Actually do PseudofunctorToCat right