ci: fix opam pin syntax to actually install the patched lambda-term

Use 'opam pin add' with git+https:// URL syntax and -y flag to
immediately build and install the pinned lambda-term, rather than
--no-action which only registers the pin without rebuilding.