Autoupdate documentation with coqdoc to a161668

Generated with `make html` on commit:

commit a1616683d051ab073b7bd7fded83a260f3ece55b
Author: Jason Gross <jgross@mit.edu>
Date:   Tue Sep 3 23:05:52 2013 -0400

    WIP