TypingFlags as an OPAM package

[anton-trunov]

Thanks for this great plugin! I'd love to see it as a package on OPAM.

[clarus]

@SimonBoulier Would you mind if I add an opam package for this project? It would be better if you add a 1.0.0 Git tag then to target a precise version. We would like to use this project to verify some OCaml code with non-obvious termination.

Also, as I understand with coq/coq#10291 , this project will be included in Coq 8.11?

[SimonBoulier]

I would be great! I added the tag.
Yep, 8.11, I understand the same :-)

[clarus]

OK thanks! Pull-request ongoing: coq/opam#996

[clarus]

Added.

[SimonBoulier]

Very cool, I updated the Readme. Thanks again.