Autoupdate documentation with coqdoc to 12cb579

Generated with `make html` on commit:

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

    WIP id-preservation for [_,_]