Add stupid "git export" thing, which can export a git archive