Transition Rule Graph for Alonzo

The Shelley ledger spec has a nice graph diagram showing the dependencies of the ledger rules. The graph changed in the Alonzo era, and it would be great if the Alonzo spec could provide an updated diagram.

Additionally, it would be nice if we only checked in the `dot` file and not the diagram's pdf, as was done for Shelley (so this means a slightly more complicated build script).

See:
* the shelley dot file: https://github.com/input-output-hk/cardano-ledger/blob/503104b2f1cdfc84b0cb5d52ecc08c2545b70c42/eras/shelley/formal-spec/rules.dot
* the shelley diagram pdf: https://github.com/input-output-hk/cardano-ledger/blob/503104b2f1cdfc84b0cb5d52ecc08c2545b70c42/eras/shelley/formal-spec/rules.pdf