Graph visualisation of recorded typechecking times

@WhatisRT has mentioned that the [ledger team](https://github.com/input-output-hk/cardano-ledger) actually creates nice graphs from such time durations, which we should definitely investigate to track typechecking performance across history.

> Here's the action the ledger team uses: https://github.com/input-output-hk/cardano-ledger/blob/master/.github/workflows/bench.yml I tried locating the page, but it appears to be broken ATM. But basically, it is this action: https://github.com/benchmark-action/github-action-benchmark

_Originally posted by @WhatisRT in https://github.com/input-output-hk/formal-ledger-specifications/issues/310#issuecomment-1812860225_