git-gui: Allow the user to copy name of the file in the diff viewer.