Improve protocolInfoCardano

[jorisdral]

This issue lists the different steps taken towards improving the protocolInfoCardano function

• Consolidate ProtocolParams across eras #275
• Consolidate protocol versions in cardano-tools #276
• Abstraction for creating ProtocolInfo blk from ProtocolParams blk #317
• Split creation of ProtocolInfo blk from creation of BlockForging m blk #318
• Rename ProtocolVersion to SupportedProtocolVersion or something similar, since the name has often caused confusion.
• Encode the invariant that protocol versions should be strictly increasing (except for the last era).
• Simplify the protVer arguments #324
• The maxMajorPV field of Globals is unused cardano-ledger#3682

[amesgen]

FTR: There have been some changes to protocolInfoCardano in #352 due to the new TransitionConfig concept from Ledger.

[dnadales]

@amesgen, when you have time, we should discuss the remaining item in this issue and whether we can close it, as I don't see a sensible renaming.

[dnadales]

As discussed out-of-band with @amesgen, with 1224, creating a separate type is no longer necessary.