Autoupdate documentation with coqdoc to 2a12a68

Generated with `make html` on commit:

commit 2a12a6831073632910d1f68cfa1f9f644c98531a
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Oct 20 18:41:57 2013 -0400

    WIP