Next round of markup cleanups

• nuke useless <para> around lists
• nuke useless <para></para> sequences
• nuke harmfull <para> around <programlisting>
• nuke some of the "we need a line break here" reminders that are no longer needed (and never affected the output anyway)

Reviewed by: alex