git-rev-list: allow arbitrary head selections, use git-rev-tree syntax