git-gui: Stop deleting gitk preferences.