Rewrite README down
Since Markdocs,README is redudant with docs/index.md. So we should just rewrite it completely to indicate the URL https://inno3.frama.io/tm-contract-for-oss-maintainers/ and to describe the project from a potential contributor.
Since Markdocs,README is redudant with docs/index.md. So we should just rewrite it completely to indicate the URL https://inno3.frama.io/tm-contract-for-oss-maintainers/ and to describe the project from a potential contributor.