git-gui: Generate a version file on demand.