Add average time output for HTML and text writers
Add DejaVu Sans Mono to the font list in HTML output