Update gtksourceview3 to 3.10.1 for compatibility with gtk+-3.10