Autoupdate documentation with coqdoc to 05170e3

Generated with `make html` on commit:

commit 05170e3804252e0ef55afecaaf390ea12e6212d6
Author: Jason Gross <jgross@mit.edu>
Date:   Sat Sep 28 11:27:16 2013 -0400

    Fix .dir-locals with new directory structure