git-name-rev: add a --(no-)undefined option.