gitk: Arrange to kill diff-files & diff-index on quit