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.