CBMC runtime analysis: Generate consolidated metric report across multiple proofs

[natasha-jeppu]

Issue #, if available:

Description of changes: Add metric-report module to read viewer json logs and generate a consolidated runtime analysis report across multiple proofs.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

[ligurio]

Any chances to merge it?