Fix default_full_version implementation, and document it.
merge
Merge branch 'extension_default_full_version' into tmpl

Conflicts:
	src/backend/commands/extension.c
First step toward supporting default_full_version in extension templates.
Teach pg_dump about default extension version in upgrade scripts.