Purging a file or directory from the entire git history