Autoupdate documentation with coqdoc to 48f7ce5

Generated with `make html` on commit:

commit 48f7ce5c90261e80ff6451a45fb28529ac62f5dc
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Sep 9 12:57:32 2013 -0400

    WIP