Autoupdate documentation with coqdoc to 4fa40a8

Generated with `make html` on commit:

commit 4fa40a81caff874920b12db643f3250e747497a1
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Sep 23 13:12:45 2013 -0400

    Add some modified files from the Coq stdlib