[antlr-interest] don't use richtext editor in wiki

[Terence Parr]

it's messed up and messes up the files...

Gerald R says:

> Ok, after a bit of Googling, seems a known bug that the Confluence  
> rich editor strips the escapes from in front of stars, and the star  
> then gets rendered as the graphic.
>
> http://jira.atlassian.com/browse/CONF-7491
> http://jira.atlassian.com/browse/CONF-5258
> http://jira.atlassian.com/browse/CONF-6422

Thanks.
Ter