add Menhir as a client dependency

1 job for master in 14 minutes and 45 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1140245
build: [4.12.0]

00:14:45