Add gtksourceview3