Autoupdate documentation with coqdoc to 2d61107

Generated with `make html` on commit:

commit 2d61107785f5321eb87a8ebfb2a9281215f19789
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Sep 9 18:50:53 2013 -0400

    WIP clean up