Refine the CDDL spec of the LocalStateQuery mini-protocol

[geo2a]

Description

This is a draft PR that may address IntersectMBO/ouroboros-consensus#1370. See the issue for further discussion, as it is not clear is ouroboros-network is the right place for this change.

This PR:

• Refines the CDDL spec of the LocalStateQuery mini-protocol by specifying the possible queries
• Adapts the testing helpers in Ouroboros.Network.Protocol.LocalStateQuery.Codec.CDDL to make them aware of the query types

The query type is modeled after the one defined in Ouroboros.Consensus.Ledger.Query, which is used to instantiate the LocalStateQuery in the Consensus code.

Checklist

Quality

• Commit sequence makes sense and have useful messages, see ref.
• New tests are added and existing tests are updated.
• Self-reviewed the PR.

Maintenance

• Linked an issue or added the PR to the current sprint of ouroboros-network project.
• Added labels.
• Updated changelog files.
• The documentation has been properly updated, see ref.