git-rev-list: add "end" commit and "--header" flag