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

To be continued someday, those style files are full of redundancies...