git-gui: remove dots in some UI strings