Autoupdate documentation with coqdoc to 8cac509

Generated with `make html` on commit:

commit 8cac509bd56b12add8111e629664ee92a1c7718d
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Sep 8 16:32:15 2013 -0400

    WIP