Autoupdate documentation with coqdoc

Generated with `make html`