ubuntu: install gnome config editor

Signed-off-by: Fudong Bai <fudongbai@gmail.com>