CBMC runtime analysis: Record pointer alias analysis metric

[natasha-jeppu]

Issue #, if available:

Description of changes: Generate pointer alias analysis report using points-to set metric information from CBMC. Takes json output obtained from cbmc --show-points-to-sets and generates a html report describing size and contents of the points-to sets for pointer dereference as recorded by CBMC.

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