Delete git_super_diff

No longer needed