Update doc/plugin_tutorial/README.md
Update doc/plugin_tutorial/README.md

Co-authored-by: Théo Zimmermann <e1d8818cf57db40c64760cc1689d30471aa2e406@gmail.com>
ejgallego/coq,coq/coq,Zimmi48/coq,ejgallego/coq,Zimmi48/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,coq/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq