Teach git-rev-list to follow just a specified set of files