Autoupdate documentation with coqdoc to 071bb6d

Generated with `make html` on commit:

commit 071bb6d0df03eca6f8f8b929387144311c270d33
Author: Jason Gross <jgross@mit.edu>
Date:   Wed Sep 25 10:28:14 2013 -0400

    Make 'make' much less noisy w.r.t. line length

    Now we only print HOQC or COQDEP, rather than the full command line,
    unless the user passes V=1