Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc to 6bf8273

Generated with `make html` on commit:

commit 6bf82730fc005453d9f490c723d3f777c2544dce
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Oct 21 15:23:50 2013 -0400

    WIP