Comparison and possible deprecation in favor of coq_nvim

[matu3ba]

The project goal should be evaluated as coq_nvim has as goal the very same goals.

Python is already more dense and still the project has 6.5k LOC Python. Link here: https://github.com/ms-jpq/coq_nvim

It would probably make more sense to evaluate what can be optimised in coq_nvim and provide libraries for it rather than rewriting those 6.5k LOC.