Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc to 31230d9

Generated with `make html` on commit:

commit 31230d90405631c07d58c9e6ac74fe329237de69
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Nov 3 16:33:16 2013 -0500

    Deopacify FunctorProduct_uniuqe, fix names