Merge from trunk; miscellaneous small fixes. Major points: A lintian warning (long line in plugin-runner manual page) eliminated as requested by sponsor, one bug fixed (bashism in mandos-keygen), and one small inconsistency fixed (server is now started after install).