Autoupdate documentation with coqdoc and proviola and time2html

Generated with `make html proviola`