Better indexing in the relax user manual.

The imakeidx LaTeX package is now used instead of makeidx, and the hyphenation has been improved.
Lots of spelling fixes for the relax user manual.