gitk: Allow user to choose whether to see the diff, old file, or new file