Make why3doc syntax less error-prone
[...] for embedding code inside comments, but people tend to misuse it. I have already fixed a lot of instances of this issue. I even tried to improve the lexer in 1827453a to workaround the issue. But people keep misusing it. As a consequence, several examples cannot be uploaded to the gallery due to how broken they look.
So, I now propose a much drastic change: forsaking the
[...] syntax in why3doc and switching to a Markdown-like syntax:
`...`. We could even allow the
```...``` syntax along the way.