gnu: git-annex: Update to 7.20200202.7.