invenio-check-branch: check only unique files

* Remove duplicates when detecting files modified by the branch.
  Useful for branches that contain many commits touching the same
  files.