simplify OPAM pinning for developers