Autoupdate documentation with coqdoc to d16c0ff

Generated with `make html` on commit:

commit d16c0ff2cbff155fac59deeee59ec2b30cd8b179
Author: Jason Gross <jgross@mit.edu>
Date:   Tue Sep 3 04:33:34 2013 -0400

    Be more forceful about pushing on travis