#824 ("inv cov" does not find any tests in Lino).  Added html flag.
#824 ("inv cov" does not find any tests in Lino).  Added html flag.

khchine5/atelier,khchine5/atelier,lsaffre/atelier,lsaffre/atelier