Autoupdate documentation with coqdoc to e484a09

Generated with `make html` on commit:

commit e484a0927384f9d7af28fa5decf0cd81084ddfad
Author: Jason Gross <jgross@mit.edu>
Date:   Wed Sep 25 09:24:03 2013 -0400

    WIP