Sort the names of plugins.

Sort the names of plugins in the documentation. Upon visual inspection, also fix a number of formulas and text issues found in the manual's description of the various plugins.
Merge pull request #84 from bangerth/sort-model-names-try-2

Sort the names of plugins.