Autoupdate documentation with coqdoc to 8353977

Generated with `make html` on commit:

commit 835397710a43231a95d9eb40c18a676eda2e2337
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Nov 3 15:24:20 2013 -0500

    Opacify Functor_eq'_sig better