initdb: Add blank line before output about checksums

This maintains the logical grouping of the output better.
Further update CREATE FUNCTION documentation about argument names

More languages than SQL and PL/pgSQL actually support parameter names.