Add 3rd party Why3 grammar to Supported Languages#4382

JGalego wants to merge 1 commit intohighlightjs:mainhighlightjs/highlight.js:mainfrom

JGalego:feat/3rd-party-why3JGalego/highlight.js:feat/3rd-party-why3Copy head branch name to clipboard