remove (large) files from a git repository. this is either for large files or for ones containing sensitive data.