cvs2html.py: use the new infrastructure to generate the html tables