CBMC runtime analysis: Record byte extract and update operations

[natasha-jeppu]

Issue #, if available:

Description of changes: Add module to generate byte op metric report using CBMC output produced by --show-byte-ops. Takes a json file as input and generates a html report with number of extract/update operations, SSA expr and source location corresponding to each extract/update.

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