gitk: add external diff file rename detection#1774

ToBoMi wants to merge 1 commit intogitgitgadget:mastergitgitgadget/git:masterfrom

ToBoMi:detect_renamed_files_when_opening_diffToBoMi/git:detect_renamed_files_when_opening_diffCopy head branch name to clipboard