Add an output option to qcheck-stm plugin cli

[n-osborne]

• Update the pinned gospel version
• Support patterns as arguments of anonymous functions
• Add output option to qcheck-stm plugin cli
• Use the new output option in qcheck-stm tests

[n-osborne]

The PR is based on shym/integration (part of #136). So I'll wait for the branch to be merged into main before merging this PR.

[n-osborne]

Rebased on main now that #136 is merged

[shym]

Close #117

[shym]

The failure in CI is unrelated to this PR, I merge.