these are very straightforward, basically just doing dependencies and version checks.

m4ri(e) are quite stable, and it appears impossibe to distinguish the present version of m4rie from the older one. We just rely on the version of m4ri, it's dependence, which thankfully has pkg-config support.

Depends on #28352

Upstream: Fixed upstream, in a later stable release.

CC: @embray @kiwifb @isuruf

Component: build: configure

Author: Dima Pasechnik

Branch: 21d6aa5

Reviewer: Isuru Fernando, Erik Bray

Issue created by migration from https://trac.sagemath.org/ticket/28342