An archive of git-annex binaries for the Raspberry Pi