CBMC runtime analysis: Record array constraints added during CBMC post processing

[natasha-jeppu]

Issue #, if available:

Description of changes: Displays the type and count of array constraints being added during post processing. Often has a direct correlation to the post processing runtime. Takes json output obtained from cbmc --show-array-constraints, and generates html report for the same.

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