[plugins] Baseline plugin for `fcc`

[ejgallego]

The baseline plugin will try to prove every theorem in a file using a set of predefined tactics, and produce statistics on the way.

Use example:

fcc --plugin=coq-lsp.plugin.baseline foo.v

TODO:

• cleanup / common parts
• documentation / changelog
• read actions from a file
• tests