Autoupdate documentation with coqdoc to d32460a

Generated with `make html` on commit:

commit d32460a11c6570d782eb35354c9e540b0c37bc45
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Sep 9 18:19:19 2013 -0400

    WIP