add git-dumphead.sh