Autoupdate documentation with coqdoc to 4628b1b

Generated with `make html` on commit:

commit 4628b1b0f31af7c6570aef1454a5cb08310d1ef6
Author: Jason Gross <jgross@mit.edu>
Date:   Wed Sep 25 09:24:03 2013 -0400

    WIP