Autoupdate documentation with coqdoc to 7e1c22d

Generated with `make html` on commit:

commit 7e1c22d30248e92013c124b567b13a9bb90d87d8
Author: Jason Gross <jgross@mit.edu>
Date:   Tue Sep 24 04:18:00 2013 -0400

    WIP chain category