Autoupdate documentation with coqdoc to d4f3ff8

Generated with `make html` on commit:

commit d4f3ff8841a682ce8161f0b6fa59dfdeb46c8d75
Author: Jason Gross <jgross@mit.edu>
Date:   Fri Sep 13 22:40:01 2013 -0400

    Add Dependent Product