Portmatching v0.4 integration

[lmondada]

This issue should keep track of the required tasks to upgrade tket2's pattern matching capabilities to portmatching v0.4.

Completed

• Working prototype of integration in branch new-v04
• Predicates and Constraints (feat: Add portmatching Predicates and Constraints #755 ) merged into portmatching-v04/base
• Indexing Schemes (feat: Add portmatching Indexing Scheme #754) merged into portmatching-v04/base

TODOs

• In progress: Constraint Classes and branch selectors (feat: Add constraint class and branch selector #771). Requires discussions and re-design with Alan
• Pattern definition and automaton construction; binary serialization
• Rewrites, application, badger
• portmatching release