Draft: "Don't be an opam repository but use a lock file" v2

For full details, see !382 (closed), courtesy of @romain.nl .

Corresponding MR in tezos/tezos: tezos!7026 (closed).

I've opted to create a new MR since the old came from the archived nomadic-labs fork and the old was owned by Romain.