Autoupdate documentation with coqdoc to 27aedd9

Generated with `make html` on commit:

commit 27aedd9c6717e24064915160dff9144a791c337c
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Sep 15 04:20:41 2013 -0400

    WIP id-preservation for [_,_]