In the search interface page, add link to documentation of search language

[johann-petrak]

At some point it would be cool to have that, maybe if the documentation gets moved or copied to html either in the repository wiki or as github pages (from the ./doc directory or the gh-pages branch).