man: always place <programlisting> and </programlisting> in a line with actual sources, so that we don't get spurious newlines in the man page output