doc: version number in cover.html + updates in coq.inria.fr style