doc: update gnome-system-log name, bug 711197