Metrics: HTML report export

[LukasNiessen]

MetricsExporter — export a metrics data map as a self-contained HTML report, with a custom title, optional timestamp, custom CSS, auto-created output directory. Plus per-builder export as HTML(path) on the count, LCOM and distance builders.