find large files in the history of a git repository (to remove them later)
see also: Remove large files from git repository