Add a Why3 lexer to Rouge
That way, Gitlab will automatically perform syntax highlighting for
.mlw files, as well as allow users to type
```why3 let foo () = () ```
to get syntax highlighting in issues. Gitlab's syntax highlighting is based on Rouge.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information