Function render_html 

fn render_html(records: &Records) -> String

The table as HTML: a caption with the row count, a header row, one row per record, numeric cells right-aligned. The cells are the ones Display prints, so a notebook and a prompt show the same figures.