gtksourceview: add it to gnome3.