Upgrade Irmin to allow CPTP Merkle Proofs

Acceptance Criteria: irmin related Opam packages have been upgraded to incorporate a version supporting Compressed Partial Tree Merkle Proofs.

Added in this PR: https://github.com/mirage/irmin/pull/1625

Depends on an Irmin release incorporating this (currently target 2.10).