Update manual to discuss third-party plugins.

Move the discussion of individual plugins into the 'Server plugins'
section (to match the table of contents), and insert a subsection about
distributing third-party plugins at the end of the section.