bash completion: remove unused function _git_diff_tree