Autoupdate documentation with coqdoc to 6405a17

Generated with `make html` on commit:

commit 6405a17ee10080cf76254968d7f8339d133d9d59
Author: Jason Gross <jgross@mit.edu>
Date:   Wed Sep 25 13:56:02 2013 -0400

    WIP