git-gui: Allow users to edit user.name, user.email from options.