Generate HTML report and some CLI cleanup

Highlights

• Self-contained HTML report: run with -o out/ and open out/foo.html.
• Aggregated batch reports: dpm certora-analyze dars-dir/ -o out/ also generates out/report.html which aggregates the results for all DARs.
• Cleaner CLI: default format is -f all (json + dot + html) when -o is set. Also includes some cleanup of string usages.

How to install / upgrade

Add to your daml.yaml:

components:
  - oci://ghcr.io/certora/daml-analyzer:0.1.3

Then dpm install package and dpm certora-analyze foo.dar -o out/