gtksourceview3: version bump