repo-pull: Allow pulling only one directory

    Makes changes to the pull API to allow pulling only a single
    directory instead of the whole deploymeny.  This option is
    utilized by the check-diff option in rpm-ostree.