Autoupdate documentation with coqdoc to 0204422

Generated with `make html` on commit:

commit 02044229c3e5401bfc2e88d100e5b8ab3784406d
Author: Jason Gross <jgross@mit.edu>
Date:   Thu Jul 25 13:52:34 2013 -0400

    WIP Grothendieck-cat