git-version-gen: document that EXTRA_DIST must include .version