Autoupdate documentation with coqdoc to 0e5134b

Generated with `make html` on commit:

commit 0e5134bd4805f342c004b506873194d3c54c5740
Author: Jason Gross <jgross@mit.edu>
Date:   Tue Sep 24 04:17:09 2013 -0400

    Update coq files