Git-annex: manage large files in Git without storing the contents in Git