Update documentation for string arbitraries synomyms.
Update documentation for string arbitraries synomyms.

Indicate what the new name is a synonym of, so that
newcommers can easily make their choice.

c-cube/qcheck