Autoupdate documentation with coqdoc and proviola

Generated with `make html proviola`